Fix longstanding bug with comments at the top of files.
Name was chosen.
Rewrite of proof bar draw code