Quoting Armin Hasitzka (2023-06-08 13:37:12) > Hi all, > > just checking; do you consider this for merge into the upstream? It does > feel like a lot of upside without any downside. Looks ok, will push soonish if nobody objects. -- Anton Khirnov