JSON

There is a new json module, which allows one to parse events in JSON (JavaScript Object Notation) format, as provided for example by the Linux journalctl export facility.  I guess it will come in handy in a number of applications!  The new array type was a crucial enabler for that.