I'm trying to contact a user on lemmy, but can't dm them (it's not clear to me if this is a bug or if dms don't work across instances or software, but either way it's not working). My next workaround would be to ping them in a microblog post, but lemmy doesn't have a microblog section. Would a lemmy user receive a notification about and be able to view a kbin microblog post in which they're mentioned?