HI, I've got another issue with electrum! basically, all of my receive address labels have vanished! Are they supposed to be saved or what?