That is also why Didan Notzach was such a big deal back in the 80s. There was a court case, in which they were debating if Barry Gourarie was a successor or not. When the psak came out from the secular court that BG was not a successor, that vindicated the entire philosophy of no successor.
Hence, “Didan Notzach!” It wasn’t just the library. It was the entire messianic philosophy. The court paskened that he was moshiach! Official Chabad publications said “Shechina medaberes mitoch grono shel NY State Circuit court judge.”