Finally, to close this loop, I’ve reported this upstream to Coursier, we’ll see what they have to say about it.