Okay, it makes somewhat more sense now after reading that thread. But technically, why does 

 

show "ü" 

 

not handle Unicode? Isn't the internal representation of [Char] actually still Unicode, as per