The text b0bf13fb4658, as Debian 6.0 (Squeeze) shipped it.
Lazily adds a selection box
HTMLDocument.addLazySelect(3kaya) on Linux now
