Very nice thanks for sharing those tools with us!

I have had to do somethinng similar in the past but was fortunate enough to be using an html source that was well formatted xml, so the xml type was just what I needed. This looks very useful for 'other' flavours of html document.