Documented punycode conversion more thoroughly using a compound case