Re: [Xmonad] darcs patch: Rename withWorkspace to withWindowSet.