XML in HTML pages (vk)beautified. Doc updated