Some personal news:

I'm giving up on AirPods™ and going back to the kind of in-ear headphones that are connected to my phone by wires.