@David It works fine for me too, so it seems to be a possible solution. I prepared a merge proposal to have it considered by a core developer.
@David
It works fine for me too, so it seems to be a possible solution. I prepared a merge proposal to have it considered by a core developer.