1. It says "Download ThomasV's PGP Key" and nothing else. There is no step by step guide to how this is actually done. But surely it is important to give as much information as possible on a subject where security is supposed to be so very, very, very important?
Does this mean Download ThomasV's signature from the Electrum website? Or are they separate things?
First, you download and import ThomasV's key on GPG4Win.
Then, you verify if the Electrum signature (which you downloaded on the official website) was signed with his key.
2. The guide has Redundant links to ThomasV's public key. But why have links if they are redundant? Or is there another meaning of the word "redundant"? Redundant normally means "no longer in use".
Redundant means that you can find his key on many places, so it is always available at least somewhere. It also means that you can check multiple sources in case one of them is compromised.
Have you actually tried following his guide?