i do not think this is a serious issue. anyways which message would take priority anyways? the reply or the mention?
the reply 100%
unless it's a reply to another user, who commented on the mentioned user’s post