I thought he was wrong but actually he’s right. I’ve just edited my post above to say:
Edit: tosbsas is absolutely right. I am now being offered a full release and my dev profile is still installed. My apologies tosbsas
ran the update last night with the developer profile installed an all is well. Didn’t have to delete profile and iPad updated to13.2 (17B84).