Options:
- Move
contributor_guide.md
info into the GitHub Wiki (e.g. here) and link to the Wiki from the .md
- Write a quick summary in the Wiki here and link to
contributor_guide.md
Maybe method 2 is preferable, since it makes us less dependent on GitHub?