On Thursday, 23 August 2018 at 17:02:12 UTC, Shachar Shemesh wrote: > If you can, feel free to contact me off-list, and I'm fairly > sure we can get the budget for you to work on it. The same goes > for anyone else on this list. I don't think Kenji will see your message, but he may be able to help given the right financial incentive.