[slime-devel] Minibuffer display of values