A tool for analyzing HTML documents