That’s a cool workaround. Thanks. As it happens, the Repair functionality in Avast took just minutes and restored the icon. It had been so long since I’d seen it that I didn’t know its proper behavior. Thanks again.