@papierzeit@schmidt_fu on notifications: do you have an app open at all times? I may have gone overboard not sending notifications if the stream marker is past the mention.
@33MHz First, I got a few emails after posting my complaint :-)
Good point about the app: I've got #Robin running in the background. IIRC most of the mentions were newer than the stream marker. Maybe the treads were older. @papierzeit