Trivial index.html used on frog.randomly.org