Mantineの発音がMan-TEENなのかMan-TINEなのか論争が発生したが、どっちもあるって感じな気がしてきた