It would be very helpful if we could tag or @mention people in notations.
When we are communicating to developers through annotations in Dev Mode, we use notations to describe functionality or design styles.
If we want a developer to see a specific notation, we need to add the notation then use a comment to tag the specific person and tell them to look at a specific notation. It’s very complicated.
If we could tag a person in a notation, the person could go directly to the notation that was recently added.