[slime-devel] Port File and Dedicated SLIME Instance