In message <20010105194541.A6499@antioche.lip6.fr>, Manuel Bouyer writes:
>> Yes.  I expected the console-abort-hook that is very useful to have

>Haaaa, you mean ctrl-alt-esc then !

I'm not convinced that there's a substantial advantage to selecting a
different hook than everyone else uses.  ;)

-s