savegame: module_platform_details dsl