[slime-devel] [PATCH] cleanup of xref display