To-dos

Jáchym's to-do list is empty.