A curious way to document JSON