Ótima notícia! Acredito que será uma boa opção o Tabnews passar a usar isso futuramente, em conjunto da forma de contato atual. Além de diminuir as chances de alguém reportar o problema publicamente no GitHub, facilita a troca de informações (não precisa enviar vários e-mails) e todos mantenedores do repositório verão o problema:
2