title: Remove all files with given extension from GIT history
body: <p>I realised my repository is bloated with large WAV files. I would like to strip them from the repository, including the history and all branches. Any idea on how to do this? Thanks.</p>