[slime-devel] [PATCH] new contrib: slime-typeout-buffer