On Tue, 8 Dec 2020, at 07:20, Felix Paul Kühne wrote: > This sounds like a more friendly idea to me as well. Do others have an opinion? Works for me, as long as you don't push fat binaries in the future. -- Jean-Baptiste Kempf - President +33 672 704 734