Make GitHub regenerate pages