Make the dev docs work on readthedocs.org

Pair-programmed with Mark Hoeber.