[xmonad] manaual tiling vs. auto tiling?