JSON format is now documented