use our own HTMLExtractor in the example