*> You should post this issue on github or else it wont be solved ever* Unfortunately that is often true. Please do report bugs on Github, that way they will be fixed... eventually :)