To-dos

Jiri's to-do list is empty.