Mario!

After almost 4 years of support Discord Mario finally comes to the end of its adventure due to the costs of managing the bot, which has recently reached 13,000 servers. I thank all those who have participated in the development over the years and to all the users who have chosen to add it to their server. Signed Seven.