Better docs on tool deletions