I do not think that it is reasonable to say that it is ok to close that bug report unless you can not only find that file, literally, for which I sent you a url , so that you can fetch it, but also tell me that you can move to its bottom after finding it. Bob On Sat, Mar 2, 2024 at 1:48 AM Eli Zaretskii wrote: > > Cc: 69470@debbugs.gnu.org > > From: Robert Boyer > > Date: Thu, 29 Feb 2024 11:06:18 -0600 > > > > Got it. Thank you so very much. > > I'm therefore closing this bug. >