New Gmail features: type @ people to mention someone

Gmail feature