To-dos

Pauli's to-do list is empty.