HTMLDocument.addOption(3kaya) on Linux

The text 080d0ea34a89, as Debian 8 (Jessie) shipped it. The page shows this text now.

Adds a labelled checkbox to a form.