To-dos

Lars Helge's to-do list is empty.