>> PS. Sometime I think about shutting down the list and using github
>> exclusively. What do people think?
>
> If github is meant to be for issues with HarfBuzz, then the list is
> useful for where the issue may well be with the user rather than the
> package.
Exactly. Use questions should be asked *here*, not on github.
Werner