To-dos

Goossens' to-do list is empty.