doxygen: fix sourceforge mirror URL.

Closes #22351.