On Saturday, 2 July 2022 at 21:36:50 UTC, mw wrote: > > Actually, can you create a github repo, I'm sure people will > send you a working PR. Yes I can. I will inform here once I did it.