Rename TODO.tx to TODO.txt