Use consistent comment “banners”

A non-whitespace changing redo of #838. :)
Cool!  Will fix shortly.