Code to scan HTML 5 specs for IDL and create an index on http://html5index.org.
Some writeup about the JSON format used by the html5index.org JSON exporter: http://tidej.net/javascript-schema.html