Public availability for the json editor

... and thus usable for third-party plugin developers.