[slime-devel] *sldb-quit-restart* (was: On the numbering of restarts in SLDB)