Use consistent comment “banners”

A non-whitespace changing redo of #838. :)
The debug stuff needs to happen before anything else.