3 ms·

I have never interacted with their team, but I am certain you could submit diffs and ask them to consider merging.