(Updated Jun 18 2022) enwiki users having over 5000 edits + all bots, sorted by edit count

SQL

SELECT ss_total_edits FROM site_stats;
SELECT SUM(user_editcount) FROM user
WHERE user_editcount < 5000;
SELECT user.user_id AS user_id, user.user_name AS user_name, user.user_editcount AS user_editcount,
	CASE
		WHEN (ug.user_admin > 0 OR ue.user_admin > 0) THEN 1
		ELSE 0
	END AS user_admin,
	CASE
		WHEN (ug.user_bot > 0 OR ue.user_bot > 0) THEN 1
		ELSE 0
	END AS user_bot
FROM user
LEFT JOIN (
	SELECT ug_user, SUM(ug_group="sysop") AS user_admin, SUM(ug_group="bot") AS user_bot FROM user_groups
	GROUP BY ug_user
	HAVING (user_admin = 1 OR user_bot = 1)
) AS ug ON user.user_id = ug.ug_user
LEFT JOIN (
	SELECT user_id, 0 AS user_admin, 1 AS user_bot FROM user
	INNER JOIN (
		SELECT REPLACE(page_title, "_", " ") AS user_name FROM categorylinks
		INNER JOIN page ON categorylinks.cl_from = page.page_id
		WHERE (page_namespace = 2 AND cl_to = "Roboți_Wikipedia")
		UNION
		SELECT user_name FROM user
		INNER JOIN pagelinks ON user.user_name = REPLACE(pagelinks.pl_title, "_", " ")
		WHERE (pl_namespace = 2 AND pl_from = 1995229)
	) AS user_exceptions ON user.user_name = user_exceptions.user_name
) AS ue ON user.user_id = ue.user_id
HAVING (user_editcount >= 5000 OR user_admin = 1 OR user_bot = 1)
ORDER BY user_editcount DESC, user_id
LIMIT 100000;
SQL

Checking query status...
