Hi! Sorry it took us a while to actually submit the reports. Somehow we had forgotten to :) But yes, please give us all the feedback. We are really excited about this work
@lorisdanto@regehr it's all good! I was surprised to see our project used as a testbed and then I read the paper until I saw the line "we have reported all bugs we found to the maintainers" and thought, "did I have a stroke? Because I don't recall that...." 😅