[slime-devel] slime-xref-mode