> On 23 Mar 2023, at 10:51, Etsuro Fujita <etsuro.fuj...@gmail.com> wrote:
> <filename> seems more appropriate to me as well in this context, so I > left it alone. And just to be clear, I think you are right in leaving it alone given the context. > Attached is an updated version of the patch. LGTM. -- Daniel Gustafsson