Ahhh, my rejoicing was premature… After a couple of minutes the left AirPod just stopped working. From memory, if I put it back in the charging case for a few minutes it’ll work for a few minutes again. Still, I guess the right earbud still works…