The text 437b6d269d33, as Debian 5.0 (Lenny) shipped it.
Adds a set of checkboxes or radio buttons
HTMLDocument.addOptionList(3kaya) on Linux now
