The text 48cb9c74e5c8, as Debian 7 (Wheezy) shipped it.
Adds a set of checkboxes or radio buttons
HTMLDocument.addOptionList(3kaya) on Linux now
