The text ded307bfe350, as Debian 7 (Wheezy) shipped it.
PEG Export Plugin. Write JSON format
pt_peg_export_json(3tcl) on Linux now
