You can use the label feature of GitHub Issues as an easy method of sorting, filtering and searching definitions (this will become more valuable as more definitions are submitted and more labels are used). GitHub Issues also provides an easy way to add comments about any issue.

Individual GitHub Files

We have also created flat files containing each proposed definition along with the reasons and context behind the definition, as supplied by the contributor.