Archived Repository

In order to consolidate documents related to governance, so that we there is no confusion about which is canonical:

• Any content in this repository that is still useful has been merged into magma/magma.
• This document has been rewritten.
• This repository has been archived.

Note that all earlier content is still available in Git history.