HTMLDocument.encodeControlState(3kaya) on Linux

The text d8bdc4f9ec8d, as Debian 5.0 (Lenny) shipped it.

Encode application state for later retrieval

HTMLDocument.encodeControlState(3kaya) on Linux now