In older maximas Ctrl-D would exit. In 5.9.0rc3 it doesn't. Since Ctrl-D is a simple gesture that only requires one hand it would be very nice if you would put it back.