Is the council the correct first point of contact about problems involving the infra?
Maybe it's best to get permission from techstaff first and then get approval from council later?

Hopefully a techstaff, Council member or both could comment on that?
Since I know us owning the infra is fairly new they might just not have a documented way of doing it.

Btw could you post a link to your toolchain suggestion here?

A community projects tab couldn't hurt. If it doesn't get used it can simply be removed again.

When I get around to it, I'll make the changes in a new tab and then delete the old one once I got your approval.