tree 8532ec918285eeab91dabbc043da996d2f450df4
parent 3487a399f3a1603d97388a5452530a89c10e47e1
author Anne van Kesteren <annevk@annevk.nl> 1561714871 +0200
committer Anne van Kesteren <annevk@annevk.nl> 1561715426 +0200

HTML: applet no longer exists

For HTML purposes that's "worse" than obsolete.

In the same directory there's historical.html to ensure it won't be added again.

Fixes #17559.