#724 is still not really fixed: Now that we have moved the docs from pythonhosted to readthedocs, we need a forward from the former to the latter: Google and old links will still land on the former.