A tool for processing web documents