719d6785d4
This commit doesn't change the content of any comments. It just changes their appearance (leading quotes are now followed by a space).