get rid of doxygen.torproject.org
We have https://doxygen.torproject.org/ but it appears unmaintained.
We should shut it down, put it offline, and whatever else is needed to make it gone.
We have https://doxygen.torproject.org/ but it appears unmaintained.
We should shut it down, put it offline, and whatever else is needed to make it gone.