Whoops, that should be fixed now, as soon as GitHub Pages updates.