I had already done as Paul suggested, but there was only one profile listed, named Default. I have found the place where the profiles are stored, and I have a private back-up (.json file). But none of this is useful if Firefox won't open the Choose File window from the Restore option in Library. What else can I try?