Which is completely irrelevant because whoever does have the original copyright has already licensed them to everyone under publicly available conditions.
The GPLv2 has made it clear something can be made freely available to the public, yet still have redistribution conditions. So, simply being "licensed to everyone" does not also grant distribution rights to everyone.
Which is still completely irrelevant because this document is licensed under the GFDL.