More work on C HTML extractor.