How does this work for things like SshCliTool.PROP_SSH_EXECUTABLE? If someone tries to pass that in, will it be ignored as it's not in ALL_SSH_CONFIG_KEY_NAMES (because that is just the union of statics on SshMachineLocation and SshTool)?