[Xmonad] darcs patch: one more comment.