various tidbits of HTML5 code and the like