On Thu, May 19, 2022 at 04:53:15PM +0300, Amir Goldstein wrote: > Luis gave up on it, because no maintainer stepped up to take > the patch, but I think that is the right way to go. > > Maybe this bug report can raise awareness to that old patch. > > Al, could you have a look? IIRC, you had objections to that variant back then...