Comment by gitgud

Well I just tried in the browser console and got:

    'ß'.toUpperCase() // = "SS"
    'ß'.toLowerCase() // = "ß"