🤖 Group headers now count people and bots separately — a group with two people
and a helper bot says "2 members, 1 bot" instead of "3 members", so you can
see at a glance who's actually in the room.