Update DEPs 1, 10, and 12 to reflect current governance#81

Merged

jacobian merged 6 commits intomainfrom governance-cleanups

Oct 30, 2023

Commits on Oct 21, 2023

✨ Updates DEPs 1, 10, and 12 to reflect current governmence:
jacobian
committed

Commits on Oct 22, 2023

✨ updates from @carltongibson 's feedback
jacobian
committed

Commits on Oct 23, 2023

✏️ typos and fixes from @thibaudcolas

jacobian
and
thibaudcolas
authored

Commits on Oct 30, 2023