[slime-devel] Slime and remote SBCL unicode issue