On 5 Nov 2016, at 22:28, stepharo <stepharo@free.fr> wrote:I do not think that Kevin is following this list. I strongly suggest that the repo is moved to one that we can control and let people contribute.