The text b87bf98ee841, as Debian 10 (Buster) shipped it.
PEG Export Plugin. Write JSON format
pt_peg_export_json(3tcl) on Linux now
