[slime-devel] Slime filename completion for filenames with spaces