@pitti: yes, it's just a workaround. I (as maintainer) don't have the hardware to fix it myself either. Contributions welcome.
@pitti: yes, it's just a workaround. I (as maintainer) don't have the hardware to fix it myself either. Contributions welcome.