A text processing utility for html documents