Doxygen: tagging some items with TODO