What speaks against enabling to type @ + npub for tagging?
That way users can make sure they tag the intended profile in all cases.
I tested this in Primal earlier, they convert the pure npub strings into tags. I just prefer running Damus out of the current iOS clients.