@mathpunk no. Paste it into json.parser.online.fr or try JSON.parse(document.getElementsByTagName('pre')[0].innerText) in your browser