* removed extension sphinxcontrib.phpdomain. readthedocs does not compile