To-dos

Jelmer's to-do list is empty.