Current TODO, for "long-term" stuff see IDEAS.

* Mac OS X: closing the app from the dock icon does not work
* Mac OS X: sometimes foregrounding the application does not work - find out why!