[slime-devel] Re: Fixed (we hope) -- hs-minor-mode