seems that the files in the root of the rosdoc_tag_index repo are not used anymore