I'm unsure whether to use Address() or address. If two remotes have the same address but a different user and/or port, are they still guaranteed to have same /nix/store?

I'm unsure whether to use Address() or address. If two remotes have the same address but a different user and/or port, are they still guaranteed to have same /nix/store?

For most systems, I would imagine this assumption is correct, since most users are running SSH on the same user@address:port everywhere for their targets. However, I can definitely think of a few scenarios where this would not be the case; one being a reverse proxy with multiple SSH ports exposed that each lead to different hosts. So user@home.snare.dev:22 could be proxied to a different machine than user@home.snare.dev:23.

I think it's best to take a conservative approach and use the whole host string with Address(). I do admit that naming the field address is kind of an oversight on my part, since elsewhere it's referred to mostly as a "host". I can address the naming inconsistency in the docs and code in a future PR I would hope.

Ok, then at least from my side this is fine to merge.