It would probably be good to add an explanation about the possibility to "watch" the music-encoding github repository for people who are in more technical discussions that what we have in the mailing-list. Maybe this can to in the mailing-list page? Or on the repository page?