To-dos

Thomas Nygaard's to-do list is empty.