The extractor.py generates the xhtml file