Thanks for your help.
I already installed the update with the wordpress update page. Pressing the save button in settings/language didn’t make any changes either. You’ve got any other ideas? Otherwise I’ll just use the raw input mode for now, which should work fine.
