So I was hoping by using that in a comment that Gina would mention you :P but it didn't workwell in discord in order for the bot to use a mention you type "<@username#userid>"