XMonad: unused extension.