From all accounts, the 2023 Detroit Auto Show–or what is formally called the North American International Auto Show (NAIAS)–was an …