On Fri, May 8, 2020, 15:06 Dmitry Gutov <dgutov@yandex.ru> wrote:

And of course Dmitry Gutov (https://github.com/dgutov), maintainer of the popular packages like company, robe and others ;-)