We’re looking at this, but it’s peak holiday season in the JUCE team so things are much slower than usual.
