[slime-devel] Use of variable `buffer-name' in slime-display-message