ça c'est fait 
(par microsoft)
Merci de confirmer mes réserves sur le futur de github et sa pérennité (M$ peut revendre à un moins scrupuleux, ou cesser d'être scrupuleux)
Et si je préfère que le dévelopeur garde sa version sans prétention (et parfaite pour mon usage)
(une verrue telle que décrite ne nécessite pas d'activer des demandes complexes, et il a parfaitement le droit de dire
a) que c'est déjà fait au moins 50 fois ailleurs -dont peut être 49 à jeter, faute de maintenance de codes devenant de plus en plus complexes avec la liste des petits écrans ...-
b) qu'il préfère rester léger, c'est ce qui en fait son caractère unique et irremplaçable -et donc qu'il ne faut pas jeter-,
github n'aura servi à rien...