To-dos

Geir-Martin's to-do list is empty.