Mentioning someone new in old posts' comments

If I mention someone on another server in an old public post comments’ and this person never got this post on their server before (I tried this with Diaspora, Friendica, Hubzilla) then mention doesn’t get through.

Is this intended behavior? I thought in this case that person would get the mention and pull the parent post?

Is the post you’re mentioning them a public post or a limited one?

Well, I’m a goofus. You literally wrote “public”. Sorry for that.

Interesting. Let’s see if @supertux88 has something to say.