Remove old stuff from the documentation.