I don’t know why people get so worked up over this. It’s so easy and everyone gets it wrong.
Her name is ミント. If you ever took even just one Japanese class you would know that is MI – N – TO. The Japanese don’t differentiate between “R” and “L” sounds so that means it’s “Minto” because it’s literally the word the Japanese use for “Mint” but we are not talking about the dub we are talking about the nihongers. IT’S MINTO.
It’s so obnoxious how they adapt it beyond that. It’s a pun. A PUN. That means it’s NOT just THE WORD.