Hi Alex, On Sat, Apr 1, 2023 at 5:56 AM Alejandro Colomar wrote: > If it's just a reference to the software, that is fine. If it's a > reference to the version, then I want it to be greppable. > Is my patch attached to the last message all good, or is there anything more to do? Thanks, Mingye