Hi Ludovic, ludo@gnu.org (Ludovic Courtès) writes: > Hi! > > I think Oleg’s lack of response might suggest that we should apply the > patch as-is. :-) WDYT, Alex? Having separate packages may be better > than nothing at all. > > Ludo’. Sorry for delay. I had some issues with health and cannot follow this thread.