No we’re still on 0.8 It was installed years ago by a friend who unlike me is computer literate. He had made his own adjustments to the settings - trees I think he called them - which work very well and we have no desire to change.
Seeing complaints about ios13.5 is raising our suspicions. My ipad is sitting with the latest iteration 13.5.1