Demonstration of using GitHub to collaboratively manage a thesaurus.