Zeftax Btw. is there a way to submit patches without a github account or am I stuck with just posting it here?
Pretty much limited to posting it here without a GitHub account the docs run from GitHub it automatically compiles and converts them into a static site.
Still, the leg work is useful, someone will surely pick it up and go make the patch if you don't
Also you should be able to edit your OP by clicking the 3 dots when you hover over it.