[sr-dev] git:master:873f3176: .gitignore: more types of tag files added to ignored list