when I tap on a notification for a mention, it’s no longer highlighted, so it’s showing it as being read, but the little number up at the top doesn’t go away unless I hit the “mark all read” button.