Wonderful news, thanks Kip! What if I created a new Github (or gitlab.gnome.org?) project with heguangyu5's fork and the three of us as maintainers? This would likely reduce the chances that Debian's upstream dies again, and possibly push other people to contribute future fixes...
If we want to do this I would also: - propose heguangyu5 to join us - contact MicahCarrick and ask if he'd rather just transfer his project to us, to simplify the work also of other distributions Pietro
