I just remembered that the option to change the host name isn’t available if one uses automatic configuration.