Manual: html -> xhtml