To-dos

Guido's to-do list is empty.