fix removal of github.html