Hi -

> It's not clear to me who is going to administer these machines.

One option is that we sourceware/gcc.gnu.org overseers do *not* take
any administrative role over them.  The GCC SC or gcc maintainers can
sort that out amongst themselves.

- FChE