Ricardo Wurmus Sat, 24 Dec 2022 13:20:32 -0800
This is now fixed in mumi commit 4361d69de393a55ad27574d10d7c6ad62477a13e. -- Ricardo