Sorry for the delay! It appears both the game and the settings are deleted. If I open magic dosbox after restarting the device, the game is simply not there and I have to reinstall it. It’s not too hard thankfully, just an inconvenience.
I must add this doesn’t happen every time, and I’m not sure exactly under which circumstances it does happen.