Are internationalized domain names case-insensitive? In other words, are mañana.com and MAÑANA.COM equivalent?#idn #domain