[slime-devel] slime-edit-definition suggestion (with patch)