[slime-devel] Re: On the numbering of restarts in SLDB