The file name is changed after TODO is added to the file

[zhanghed]

a Add the TODO tag to the file

File a is renamed file b

Finally, the TODO tag for a file is still displayed in your manager. This should appear as the TODO tag for b file!