GitHub pages: minor tweaks.

/CC @mimecuvalo