Shaihulud wrote "Wikimedia looks in user table. in user_rights there's a flag 'bots'"

Well, I have no access to the user table from the stats scripts, just the dumps.

If someone has some time to spare, would it be possible to add a SQL task at the start of the stats job which extracts a list of bots from the user tables and dumps them in csv format? Is not a load-heavy query I presume. Per line one bot: language code, 'user' name. Thanks in advance.

Erik Zachte