https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78161
--- Comment #2 from Damian Rouson <damian at sourceryinstitute dot org> --- I could close this because it turned out the failures were my error (I was using a modified version of the script but thinking I was using the downloaded version of the script). If it's ok, I'll keep it open with the expectation that I'll still submit a patch this week to broaden the download options, which seems like a good idea, despite the fact that my bug report was a false alarm.
