@Gargron I’m curious how this compares to the same numbers for reading?
Ie which tools are mostly used by read-only users and which by users who post?
(And perhaps similarly if boosts is another cohort of users)
My instinct is that the tools used by active posters (whether of original posts or replies) will be somewhat different from the stats of users who primarily read without also posting.
(Such stats might also illuminate which tools are used primarily by bots or software not humans)