i'd put in some money as well. do you think this could be done through the Tex development fund https://www.tug.org/tc/devfund/ they already have the infrastructure to collect donations and pay developers.
i'd put in some money as well. do you think this could be done through the Tex development fund https:/ /www.tug. org/tc/ devfund/ they already have the infrastructure to collect donations and pay developers.