Thanks - I discovered that. I created an AutoKey config as a workaround, submitted a ticket to OTP, and found this continuing conversation about it.
It looks like no improvements are going to be accepted, unfortunately. The discussion seems to get bogged down in all the different use cases for the shell, and the semantics of exiting it.
IMO, ctrl-d should be supported as a “least dangerous” way to exit, which is users’ expectations. I.e., probably corresponding with ctrl-c ctrl-c. It’s what we teach beginners. But then the discussion seemed to get derailed by a comment that this is actually a bad thing to teach as the default way to exit. I don’t know.
