This repository was archived after publication as an RFC.
See the guidelines for contributions.
Contributions can be made by creating pull requests. The GitHub interface supports creating pull requests using the Edit (✏) button.
This repository has been archived by the owner on Feb 2, 2024. It is now read-only.