@mmn @luvo@quitter.es (when I wrote on github asking if it had gone away, I hadn't actually pushed a fix. I just wanted to know it was still there before asking you to try my fix)