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?
You need ThomasV (and most probably others' too) keys, you can find them on Electrum download page, just before "Sources and Binaries".
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".
You must have been confusing "redundant" with "obsolete". Redundant means duplicates are available in more places which, in this case, is very good (in case that hackers may replace one website, let's say).
3. The guide does not cover some important points.
Make sure you downloaded Electrum and the signature asc file from the same row.
* Search for kleopatra pgp, download, install
* import ThomasV and others' public keys you downloaded (double click on asc and wait for a window show up)
* optionally make yourself a key and certify those imported keys
* double click electrum's asc file (make sure the downloaded exe is in the same folder), see what the result window tell (if you did the optional step, the window will be green).