Ah, wonderful. Thanks for the tip.
Is this only fixed for Windows? Latest .deb release still has the same issue.
