[Mediawiki metrics] Filter bots in all activity.