Is there a way to delete one file or all files with a given extension from the history of a Git repository? But except if there\'s a tag on the