Tagging large packages (texlive) takes a very long time