<no title>

These files should be run via pytest, simply install pytest and from the top of the Odoo project run pytest doc/_extensions.