Reason: Concerns about its nowadays usefulness have been raised at https://gerrit.wikimedia.org/r/#/c/381053/. If the extension is no longer working or has become obsolete, we should consider archiving it IMHO. Shall we?
To-Do list (in order):
- Archive documentation on mediawiki.org - https://www.mediawiki.org/wiki/Extension:AntiBot
- Remove from mediawiki/extensions (along with in .gitmodules)
- Remove tests in integration/config (zuul/layout.yaml)
- Remove from translatewiki (groups/MediaWiki/mediawiki-extensions.txt)
- Empty repository and add an ARCHIVED file.
- Inactivate rEANB extension-AntiBot.
- Mark the AntiBot repository as read-only.
- Delete the GitHub mirror (needs a wikimedia GitHub owner).
- Decline all open tasks.