@robin sure, I think it's always easier to track issues like that on GitHub. Otherwise I might forget them 😉 (sorry for the late reply btw.)