> Are there other ideas? Are there people who would like to really get > involved? Put everything in a github account and let everyone send pull requests? Dunno if the system behind this allows it. -- Laurent Peuch -- Bram