pt_peg_export_json(3tcl) on Linux

The text 231cd12ee5f3, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.

PEG Export Plugin. Write JSON format

pt_peg_export_json(3tcl) on Linux now