Hi @LFDM, what if you make this change in the other PR? That way it's not necessary to merge both, which seems twice as unlikely given that PRs are very difficult to get merged.