[slime-devel] [patch] slime-edit-definition and asdf