added documentation of new attributes to HTML