Thank you for the note. I hadn't visited the github yet.

I will be interested to see whether people can whittle down the respective benchmarks.