Update dev docs and fix #8

Fixes https://github.com/sympy/sympy_doc/issues/8