Tweak auto-generated GitHub Pages stuff