Move some TODOs from my personal todo.org to the project one