readthedocs.org docs - redirects

(history)