Re: [xmonad] Workspace ordering and DynamicWorkspaces (+ patch)