Okay, but on the plus side: * I've got all my email * I can listen to music (although I haven't got my global hotkeys back yet) * I can get to Mastodon, and various other things I use all the time, and all my bookmarks are in place * I've got *LOADS* more free drive space than I used to! 😁 OTOH, I need to prioritize installing a good emoji picker. Copy-pasting them from emojipedia.org is such a pain!