actually copied gimli.html to repository