[eluser]Phil Sturgeon[/eluser]
I have been trying to edit these files inline through the GitHub repository frontend, but it seems that feature is broken for now. Can anyone push these fixes if I give them access?
n0xie, you should have access if you want it, to save you time with patch files. You are trusted ;-)