[galaxy-commits] [galaxyproject/galaxy] 6735c9: replace the readthedocs badge,