AnnotHTML
Merge branch 'AnnotHTML' of https://github.com/dferer/pdf.js into AnnotHTML