* tools/gen-tags.sh: shouldn't delete old tags