Okay, so, we’re now firmly in the era of “phones don’t have 3.5mm headphone jacks”. I don’t like it but I’ve come to terms with it somewhat.