adding greasemonkey xml/html converter