Re: [slime-devel] Again troubles with user-init-file