8023881: IDN.USE_STD3_ASCII_RULES option is too strict to use Unicode in IDN.toASCIIReviewed-by: michaelm