More revisions to the to-do list looking forward to Leo 4.12b1.

Leo build: 20140824133054