TODO

 - Write down invariants for the window life cycle, especially:
    - When are borders set?  Prove that the current handling is sufficient.

 - current floating layer handling is nonoptimal. FocusUp should raise,
   for example

 - Issues still with stacking order.

= Release management =

* configuration documentation

* generate haddocks for core and XMC, upload to xmonad.org
* generate manpage, generate html manpage
* double check README build instructions
* test core with 6.6 and 6.8
* bump xmonad.cabal version and X11 version
* upload X11 and xmonad to Hackage
* update links to hackage in download.html
* update #xmonad topic
* check examples/text in user-facing Config.hs
* check tour.html and intro.html are up to date, and mention all core bindings
* confirm template config is type correct