example/thingy.html: Remove unused code.