Use space after // and ///

This fixes #112, and it also puts spaces after regular comments. Some old code that had been commented out has been removed.
That was not clear to me; I’ll clarify it then.