[slime-devel] those two slime patches