Can’t upload a sketch to a SparkFun Pro Micro 5V/16Mhz??

At the time of writing, if you follow the instructions given here then it mentions that you need to download the This file didn’t work for me however I came across info that worked for someone else and it worked for me too.