Add some stuff to the TODO/specs file