-  html_quoted_attribute(+Text)// is det
 - Quote the value according to the rules for tag-attributes
included in double-quotes. Note that -like html_quoted//1-,
attributed values printed through html//1 are quoted
automatically.
- To be done
 - - Assumes UTF-8 encoding of the output.