Comment by rhinoceraptor

For whatever reason, in my experience, the 1st gen Airpods Pro seem to pair much more easily to non-Apple devices than the 2nd gen. I have a 1st gen pair more or less dedicated to my Linux PC, and they auto-pair 99% of the time within a few seconds.