User-contributed comments now have a grey background to distinguish them from the main documentation.