Tweak section header.
Fix #44.

Fix "file a bug" link when not logged into github.