bold styles for comment stuff, fixes #6266
footer mashup, fixes #6749
developer info work, refs #6748