Comments are now disabled on the User Manual

Since people keep posting rants and requests for support there, I’ve just turned the comments off.

They were MEANT for non-editors to submit corrections and edits. I know this means people can’t easily report things that are wrong, but that’s okay. This was meant to be a temporary home anyway. We’ll just end up taking this, porting it to the new docs setup (whenever that’s ready) and edit from there.

Thank you everyone who helped make them!