Special characters on android mode -- encoding problem

[neilcsmith]

You’re on Windows 10? There’s a simple GUI editor in system settings somewhere. Probably try searching in the menu IIRC.