Community contributions to the Grammatical Framework