Convert html documents to other useful formats