Deprecate the unmaintained 'tools' directory