Try to tickle github pages into rebuilding