Tools used

• Web browser
• Bash
• curl
• JSONView (browser plugin) and jq (for pretty printing JSON)
• mkpage (to render the JSON into a web page)