Another attempt to play nicely with readthedocs.org markdown