On Fri, Jan 09, 2026 at 12:55:47PM +0100, Sidney Cadot wrote: > I managed to miss the line about the label in the documentation about the > "host" options. My mistake.
And yet you just said:
On Fri, Jan 09, 2026 at 12:18:41PM +0100, Sidney Cadot wrote:
> I did read the manpages with due care, many times over by now. It's still
> possible that I missed some crucial info, of course, but I doubt it.
^^^^^^^^^^
