Use sphinxcontrib-doxylink to link user manual to API docs