More deletions, and a quick update for Mainpage.dox .