Minor change to test if the github webhook for readthedocs works.