Project:Requests/User rights/Removal of inactive bot rights (2)

Removal of inactive bot rights (2)
I propose that bot rights be removed from the following accounts that have no edits or logged entries since 2019 at the latest:

This should be considered fully procedural in nature and is not a reflection on the bot or bot-op. Note that this does not include deleted edits or log entries. See also Project:Requests/User rights/Removal of inactive bot rights. Thanks, --DannyS712 (talk) 16:09, 27 July 2020 (UTC)

Discussion
On the English Wikipedia, the activity requirements for bots take into account the activity of the operator as well. Would it make sense to do so here? At the very least, you should probably notify the operators of these bots. (I didn't post this on the first removal request because I find it less applicable if the bot has literally never edited). * Pppery * it has begun 20:58, 27 July 2020 (UTC)
 * Sending the notices now --DannyS712 (talk) 02:36, 29 July 2020 (UTC)
 * Okay, I notified all of the operators I could find. See https://www.mediawiki.org/w/index.php?title=Special:Contributions/DannyS712&dir=prev&offset=20200729023634&limit=18&target=DannyS712 and https://meta.wikimedia.org/w/index.php?title=Special:Contributions/DannyS712&dir=prev&offset=20200728211027&limit=4&target=DannyS712 - I could not find operators for User:Adi.bot, User:Mobilefrontend, or User:WikiApiary, and will leave notes on the bot talk pages instead --DannyS712 (talk) 02:49, 29 July 2020 (UTC)
 * All ✅ - bots notified at https://www.mediawiki.org/w/index.php?title=Special:Contributions/DannyS712&dir=prev&offset=20200729024957&limit=3&target=DannyS712 --DannyS712 (talk) 02:51, 29 July 2020 (UTC)

Operator responses

 * Bot account for TheStoneBot still may be useful. Please don't revoke this, if possible. Thanks. --Kaganer (talk) 03:02, 29 July 2020 (UTC)
 * User:Community Tech bot won't need bot rights until the next Developer Wishlist Survey, and there are no plans for this in the near future as far as I know. &mdash; MusikAnimal  talk  03:32, 29 July 2020 (UTC)
 * Hmm, but I think the bot is still active on Phabricator and makes occasional runs. Not sure if bot rights on wiki is still needed though. Ainz Ooal Gown (talk) 07:57, 29 July 2020 (UTC)
 * I deflagged Legobot for now, I can always reflag it again if I have something to do. Legoktm (talk) 04:29, 29 July 2020 (UTC)
 * The WikiApiary bot might be flagged because the bot group has the apihighlimits right. WikiApiary does a lot of scraping of sites to see which extensions are installed on which wikis, and may be using mediawiki.org's API in that process to pull down lists of extensions. That being said, lack of an on-wiki contact/owner and lack of source code for the bot doesn't leave me very confident about that statement. -- Skiz zerz  04:40, 29 July 2020 (UTC)
 * Feel free to remove the flag from SteinsplitterBot. Best --Steinsplitter (talk) 10:38, 29 July 2020 (UTC)
 * ✅ Bot flag removed from SteinsplitterBot. -- Skiz zerz  00:04, 30 July 2020 (UTC)
 * Bot flag could be removed for ExtensionListBot. Thank you. --Benjamin Garn (talk) 23:11, 29 July 2020 (UTC)
 * ✅ Bot flag removed from ExtensionListBot. -- Skiz zerz  00:04, 30 July 2020 (UTC)
 * Seven-League Bot has retired, please unflag :) guillom 01:09, 30 July 2020 (UTC)
 * ✅ Bot flag removed from Seven-League Bot. -- Skiz zerz  16:04, 30 July 2020 (UTC)