UTF-8 for both Windows and Linux (experimental)
Pretty symbols in js-mode