Subject: Re: bug#76165: [PATCH] ansi-osc-directory-tracker respects Tramp remote files

From: Eli Zaretskii <[email-masked]>
Date: Mon, 10 Feb 2025 15:56:23 +0200

> Cc: [email-masked], Michael Albinus <[email-masked]>
> From: Ship Mints <[email-masked]>
> Date: Mon, 10 Feb 2025 06:18:50 -0500
> 
> +---
> +*** ansi-osc-directory-tracker now respects Tramp remote files.
> +Tramp remote forms are now retained when changes to 'default-directory'
> +are detected by this filter.  Previously, /ssh:hostname:/home/username
> +would be stripped to just /home/username.

What is a "Tramp remote form"?  The Tramp manual doesn't mention that
even once, and just by reading it, I cannot understand what it means
here.  Please clarify.