HTML output improvements: iframes, deadcode, global child nodes