Ship Mints <shipmints@gmail.com> writes:

Hi,

> Thanks for reading carefully. I need some coffee (it's early morning
> where I am).

Thanks. Just one (minor) remark: file-remote-p is not restricted to
Tramp. Therefore, I wouldn't mention Tramp, but just say "remote
directories".

Best regards, Michael.