Update dev docs and fix https://github.com/sympy/sympy_doc/issues/8