Remove the ridiculously obsolete TODO file.