A JSON-based HTML5 Superset