c9a0691f53
The `user-data.json` file will save immediately on change, and on exit (on dtor) if necessary. So we don't need to manually call save