What did I do:

Normal gameplay for an hour or so on Vulcanus
Saved the game manually
Opened game menu to pause game
Left game window in background, covered but not minimized


What happened:

Game crashed a few minutes after pausing


What did I expect to have happen:

Game remains ...