The verification was successful. I can now trust the validity of the download.
You can, however, no one mentioned yet that you won't be able to install and use Electrum version 4.2.x on a Windows 7 machine. That OS is no longer supported according to Electrum's release notes. Updating to Windows 10 is recommended. Alternatively, you can use Win 8 or abandon Windows altogether and switch to Linux.