Notes on HTML5 documentation