Mention users without ping

It would be useful if we could mention users without sending them a ping. Sometimes you need to direct a user to another staff member for support or mention a role or user where a response is not time sensitive. I would like to see the option to tag a user or role without pinging them. ~user to mention silently, @user to mention and ping

Especially useful for users in different timezones. We love Discord but no one wants to be woken up by the ping at 3:30am.  ;)