- Create a new folder/directory and download the below script to it
- Create two new folders,
plugins
andextracted
(I couldn't be bothered to make the script check & create them itself) - Run the script (Python 3). It may not be the most efficient process, as it downloads & extracts one by one, but it only took around 5 mins for me. That's 5 mins waiting or the 40 mins I could have spent trying to make it a fast script...
On Linux, I used ripgrep
which is a very fast searching tool - it matches practically instantly against the whole repo.