Remove Doxygen.

Fixes #5006