Removing workarounds (autodoc in ReadTheDocs seems to be failing whatever we do)