Loading annotation for hypothesis.readthedocs.io