https://thunderstore.io/package/KingEnderBrine/ProperSave/
I'm unsure of how difficult it would be to make this mod compatible with Proper Save, but it appears to be something possible on your end. As it is, with both installed the ability to load a save is not available.
It's likely due to not being able to properly save custom map data of the procedural maps. However, I also figure actually saving that data may be difficult, so no worries if there's no reasonable way.
https://thunderstore.io/package/KingEnderBrine/ProperSave/
I'm unsure of how difficult it would be to make this mod compatible with Proper Save, but it appears to be something possible on your end. As it is, with both installed the ability to load a save is not available.
It's likely due to not being able to properly save custom map data of the procedural maps. However, I also figure actually saving that data may be difficult, so no worries if there's no reasonable way.