Please create a `support-tools` repository
There's code on doc/support/Coordination that would probably be better in a dedicated Git repository. Especially as we are writing more tools to produce nice graphs for SponsorO.
Could you create a 'support-tools' repository, please?
As support coordinator, I should probably own it.
Please also give access to Karsten.