Interesting, thanks. Is it okay if I copy you comment into the Github issue or maybe you can just comment there yourself?