Feature request: Mention user in reply

[prsmr]

I would like to have an option that allows me to mention a user in a reply when responding to a post he or she shared/boosted. One should have the option to enable/disable it in the settings tab.