I saw ports/48465 after sending this PR, it does quite the same thing. Maybe someone could close it. I believe there is also ports/47377 but the patch at the end of ports/48465 seems better. -- Mathieu Arnold