No, just used another method. Just used ipsw.me to download the IPSW. The link to the method I used is below. If you want to try this, you will need a macOS virtual machine or a Mac (M1 Macs also work, and that's the type of Mac I used), and a GSM iPhone 4 (model: iPhone 3,1).
This doesn't seem to have compatibility with CDMA models, due to the slight variation in the hardware, as is the case with iPad 2s with an EMC of 2560 (iPad 2,4; 2012 model) compared to the 2011 model with an EMC of 2414 (iPad 2,1).