We are done with the TODO file
Some cleanup in doc/