On second look, this does not appear to be reliably reproducible. Unread counters are updated and redrawn on some occasions. This is clearly not a UX problem. I’ll close out this topic and see if I can hone in on the conditions under which it does not work as expected. My apologies for the noise.