Facilitez-vous l'écriture de commentaire sur Github avec l'extension Github Writer