Pierre Langlois writes: > Great! I've just pushed with commit > cd11f6a2bd703f0859aec05c0873186b734d6d74, adding a comment to remove > this phase when the issue is resolved upstream. I think, with this commit, this can be closed.