Javascript comments, html language attribute, and minor banner change