Adapt to new GitHub Pages domain github.io