Thanks, @beagel. I’ll look for that quote add-on. Didn’t realize that’s a possibility. I hope you were able to find some of your lost data, too! It looks like things are back to normal again. I hope the Mozilla folks have learned something from this minor disaster.
But I do want to thank the Mozilla dev folks for jumping on this problem and getting it fixed. And also, for keeping us all informed.