The text c6a252b3b0f2, as Debian 6.0 (Squeeze) shipped it.
Adds a set of checkboxes or radio buttons
HTMLDocument.addOptionList(3kaya) on Linux now
