Documentation: remove documentation for removed tools.