Thank you for the tips. Sounds like a good idea to move to GitHub. Especially do I like that non developers can edit files directly from the web interface. I ge

Thank you for the tips. Sounds like a good idea to move to GitHub. Especially do I like that non developers can edit files directly from the web interface. I get frequently updates on the language files for example. Had been nice if the authors of them could commit the changes directly to the repository. Any other suggestions?