To-dos

Øyvind Haug's to-do list is empty.