I tried patching Sync a few times way back but kept failing.

Edit: actually, I got curious and tried again now and it worked. I probably messed up the text file before. I’m still not going to contribute there but now the odd google search result will be more comfortable.