user docs are now hosted on readthedocs.org