Tweaked format of GitHub titles. Some minor housekeeping.