Made the old, out-of-date Doxygen pages go away.