https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90334 --- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Maybe just saying "sourceware.org / gcc.gnu.org" would be good enough to avoid confusion. That's obviously not a URL that you're supposed to copy & paste.