Convert user manual from LaTeX to Sphinx markup