dump-emacs -> dump-emacs-kill-emacs
I'd like to delete the consoles and shut_down_emacs() before dumping,
if order to dump the console and device lrecords (3 consoles, 1
device) in a sane state[1]. Any fundamental objections ?
OG.
[1] Actually, I'd rather not dump them at all, but heh.