APIDump: First attempt at outputting annotations in the HTML format