HTML.xmlns.extra

Add a description of HTML.xmlns.extra