The text 5aacf5b14a91, as Debian 7 (Wheezy) shipped it. The page shows this text now.
JSON export plugin
export_json(3tcl) on Linux now
