Is there at least some way to restore the real monitor resolution without
killing the Xserver (and hence all running desktop applications)?

Right now I either have to reboot, or I must turn off the monitor, then kill
the Xserver (ctrl-alt-bs), then turn on the monitor again. It does not even
suffice to kill the Xserver alone.