If it's a simple patch which is beneficial for others why not simply make a pull request on github?
Statistics: Posted by aBUGSworstnightmare — Wed Apr 03, 2024 4:43 am