Use consistent comment “banners”

A non-whitespace changing redo of #838. :)