Ctrl-D does not terminate maxima



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.