[slime-devel] Slightly faster filename completion within strings