Update the TODO file a bit.