[slime-devel] Documentation patch for swank:create-server