Am Samstag, dem 12.08.2023 um 12:18 +0300 schrieb Udicoudco: > > Another possible patch attached Yes, this is neat, but I wanted to avoid changing the package loading order if not absolutely necessary. -- Jürgen