python-{optparse,html-dump:html5lib-prettify{lxml,bf}}