To-dos

Radu's to-do list is empty.