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).