New HTML extractor tools