Can't tag few people in comments who are added to a file

I cannot tag a few people in comments, their names do not appear there. Going into “Share” menu, I can see them there.

Maybe it is a minor bug but happening since start of this week.

A post was merged into an existing topic: Why I can’t mention other people?