Apr 8, 2022
Wow, if instead of wasting time writing unhelpful comments, you had created a pull request on the repo to correct the errors, not only you did avoid wasting my time, but you had done a good deed for everyone.
Anyway, thanks again for the report. I’ll fix the code as soon as I can.