Don't hardcode live.sympy.org in Sphinx shell