To-dos

Bernasconi's to-do list is empty.