Ctrl+D Ctrl+7
Thanks. This brings up another question. I have already recently observed (when playing XCF) that enabling debug mode by modifying to "debug: true" did not work. I put it off then as it wasn't crucial. Now, after enabling the debug mode in the save, Ctrl-keys provide no reaction. Is there any reason why this would not work (I'm using Linux bionic image) or any tips on how to go about figuring out what's wrong? I do recall that a few years ago, at least, debug mode did work. I've played ironman, but removing that from the save did not affect this.
I do observe that if I modify the save by changing the save, open the game and load the save, then save again, it's back to "debug: false". This could be intended behavior, but I bring this up if it isn't and might provide a clue on what is going wrong.