Am Mittwoch, dem 07.05.2025 um 10:11 +0900 schrieb Koji Yokota: > I fixed potentially related setbacks in commit 22dffc7. Does this > solve the problem? Looks solved (on brief testing). Thanks. -- Jürgen