Updating user settings fails on sourcegraph.com

Created by: felixfbecker

Updating settings, and any extension with toggles that update settings like the Codecov extension, are broken on dotcom with this error when toggling:

But the GraphQL request is updating user settings, not global settings:

I would guess this is a bug in the implementation of the new settings-from-file support?