After posting the above, I did manage (with some difficulty) to recover my pinboards by searching for "pinboard" in favourites. That said, now I have to leave each in an open tab, because the toolbar pinboard icons no longer function properly, so I fear being unable to retrieve them again. Not what you could reasonably call "robust".