Tycho Lürsen Tue, 25 Jan 2022 17:15:16 -0800
Correction: it is a pull request, not merged yet. Anyway, it works like a charm.
Cheers, Tycho