To-dos

Per Nicolai's to-do list is empty.