Ok, but I hope this will be documented somewhere. In fact, is JSON output documented at all?