[slime-devel] save SLIME session (and more)