Re: [hunchentoot-devel] Where to set up a shared hunchentoot directory