Contributing

Development setup, the test and lint gates, and the pull request workflow now live in .github/CONTRIBUTING.md, alongside .github/WRITING.md for how the project writes prose. Read those; this page only keeps the URL below working.