Semantic plugin: TODO file update