Docs for HTML helper functions

See #7.