gdb/README says that DejaGNU can be found on ftp://sources.redhat.com/pub/dejagnu/, but there's no directory pub/dejagnu on the sourceware FTP site. What is the right place to look for it, and should README be fixed to point to that place?