User-contributed comments now have a grey background to distinguish them from the main documentation.
Minor improvement to the headers in a doctable.