'Also, I don't see how it could be "redundant". Redundant would be doing both.'
A PGP signature is essentially a hash of the file signed by a private key.
Distrubuting a file containing a hash and then PGP signing that file is hashing the file, then hashing the hash of the file, then signing the second hash. Redundant.
As to the speed difference, I just ran a 4GB ISO file through sha256sum which took 25 seconds. Using gpg to generate a detached signature the same file took 42 seconds. That's a DVD sized file. That's a few seconds of extra time the signer only has to deal with once.
The receiver then only has 2 files to download, and integrity and authenticity are assured with a single command operation.
Meanwhile, with the file + hash file + signature file the receiver now has to manually retrieve the file, then the hash file, then the signature file, then run a command to verify the hash file using the signature file, then run an entirely different command to verify the integrity of the target file. Then they have to VISUALLY (and prone to error) compare 2 long and complicated numbers.
The above wasted extra time and effort is multiplied by the number of people who receive the files. All of which could be avoided if the signer just signed the file directly using PGP.