The text ade2bffb4a52, as Debian 10 (Buster) shipped it.
JSON import plugin
idx_import_json(3tcl) on Linux now
