I have a user asking to be able to pick up not just the REPL port from a file, but the hostname as well (e.g. for servers started in ECS or some other cloud environment where the IP isn’t known in advance). My thought was to have an option to read a .url file similar to the various .port files, and read a full URL from it instead of just the port. Is anyone already doing anything like this that I should stay consistent with?