Somehow this reply didn’t create a new/unseen reply notification for me (with the black bell), instead there is an already-seen reply notification on the top of the list of recent notifications. I vaguely recall already having seen this bug in another Shortform reply, though I’d expect that this can’t matter. So I probably got confused by clearing notifications about the other thread I got replies from at about the same time.
Somehow this reply didn’t create a new/unseen reply notification for me (with the black bell), instead there is an already-seen reply notification on the top of the list of recent notifications. I vaguely recall already having seen this bug in another Shortform reply, though I’d expect that this can’t matter. So I probably got confused by clearing notifications about the other thread I got replies from at about the same time.