Rework governance

[mattam82]

This implements a proposed change to the process for leader election and renewal, along with a reorganization/relabelling of the teams/governance pages.

Voting process/renewal:

Rocq Teams and Governance pages. Rather than just "governance" this page really is about listing all the teams and contributors.

New footer:

It now feels weird to have "Rocq Teams" under the "Policies" heading in the footer, while "Governance" links to the policy, appropriately. Shouldn't we rather move Rocq Teams under "About Rocq" or in "Ecosystem" above "Community" ?

[tabareau]

@mattam82 this PR subsumes #95, right ?

[tabareau]

I indeed would move Rocq Teams to Ecosystem indeed, and remove governance from the title of the webpage. Also remove the h2 header "team" as I did on #95 as it looks redundant now.

[Zimmi48]

Sorry, I did not see this PR before merging #95.

[tabareau]

I think we can rebase it on main

[Zimmi48]

I understand the point about removing the "governance" team if it only contained the core team, but now I don't know where we would put the new consortium and roadmap teams that were discussed in the last Coq Call.

[mattam82]

Fixed in #99

[mattam82]

I understand the point about removing the "governance" team if it only contained the core team, but now I don't know where we would put the new consortium and roadmap teams that were discussed in the last Coq Call.

I think the new consortium page should be another toplevel page. For roadmap it is still a bit unclear to me how to handle it. After some more discussion after the Coq Call with Yves and Nicolas, I would like to propose a separate "Animation" team that would encompass responsibility for maintaining/animating the work on the roadmap (not about setting its contents but making sure it is up-to-date, communicating with the Core team, Consortium and interested parties) as well as community and scientific animation (e.g. workshop, working groups and CUDW/Rocq'n'code steering).

[Zimmi48]

I understand the point about removing the "governance" team if it only contained the core team, but now I don't know where we would put the new consortium and roadmap teams that were discussed in the last Coq Call.

I think the new consortium page should be another toplevel page. For roadmap it is still a bit unclear to me how to handle it. After some more discussion after the Coq Call with Yves and Nicolas, I would like to propose a separate "Animation" team that would encompass responsibility for maintaining/animating the work on the roadmap (not about setting its contents but making sure it is up-to-date, communicating with the Core team, Consortium and interested parties) as well as community and scientific animation (e.g. workshop, working groups and CUDW/Rocq'n'code steering).

Sounds good to me, but note that we already have the Community team which covers all of this except the roadmap: https://rocq-prover.org/rocq-team/community

So this team could be renamed into Animation and the sub-team about roadmap coordination could be added to it.