Turns out that the library names got restored to an intermediate set that I
was using as temporary holding places whilst reorganizing the libraries.
Having been 50 miles from the nearest telephone since late Xmas Eve, I
just found the scramble when I came back this evening. I'll straighten it
out this week.
Tom G.