Not sure if this is anywhere but there's a few options to configure double tap, AirPods name and which mic is used.
Go to Bluetooth settings and click the (i) next to he AirPods. You can set the double tap to pause-play or Siri or off.
Go to Bluetooth settings and click the (i) next to he AirPods. You can set the double tap to pause-play or Siri or off.