Thanks for the replies.
Must have suffered a moment of dyslexia … of course 5.2.17 is later than 5.2.4!
Was having a “bad day” with several things going wrong and the disappearing dashboard threw me until I traced it to a “new” bought plugin which had only been released a week earlier……it has now been updated and is working fine.