extractors.py: 'pre' and 'font' tags now is properly handled