Documentation: Update the doxygen tagline

* Make it the same as the one used on the website and elsewhere