The text 315dc5ab94a7, as Debian 7 (Wheezy) shipped it.
Lazily adds a selection box
HTMLDocument.addLazySelect(3kaya) on Linux now
