On 10/4/22 14:36, Michael Albinus wrote:
> Thanks. But shouldn't we say at least, that the container's name or id
> is used as Tramp's host name?

Seems reasonable.

-bjc