doc/develop.rst: fix title markup