I wonder what's the authoritative way to obtain the local file name portion

of a remote file name? I’m looking for a function that would turn

"/ssh:root@192.168.1.1:/some/path/file" into "/some/path/file". I

know of `tramp-dissect-file-name', but I wonder if there's a better way, that doesn’t involve requiring tramp.

-- 

Cheers,

Bozhidar