* Madhu [2008-08-25 10:34+0200] writes: > If nobody is using this option, or it was introduced for debugging > slime, it may be better to turn it off. I removed the default-debugger restart. Helmut.