Galaxy's documentation has moved from ReadTheDocs to docs.galaxyproject.org.