> the full case foldings are superior: for example, they allow "MASSE" and "Maße" to match.
Yes in the basic SMTP RFC, but there are extensions that allow non-ascii local-parts.