Minor tweaks to GitHub as a CMS