> On 23 Mar 2023, at 10:51, Etsuro Fujita <etsuro(dot)fujita(at)gmail(dot)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