On Mon, Jun 5, 2023 at 12:53 AM Jun T <takimoto-j@kba.biglobe.ne.jp> wrote:
>
> It seems the fix is so trivial that no one is prepareing it.
> I'll push the following.

Marlon posted something very similar (if not identical) in
workers/51779 -- I've been away for my son's wedding and consequently
haven't picked up or applied anything recently.