Patched kill-all-buffers, so it is noew kill-all-other-buffers