To be more specific, we reimported already from the theme options and all settings are back to default.
What we actually want to set to default is the “Home mobile” page … this was not replaced when we re-imported the version.