To-dos

Jachym's to-do list is empty.