The following tools have been removed, either because they were redundant, or no longer served any useful purpose.
