Wow, that's great! If you don't mind, I'll be keeping the petition up anyway, just to see how many users are interested. Besides, it's actually for UTF-8 as a DEFAULT encoding... Quite a radical change for Asian users I suppose.