Your question

I saved the current flatpak apps (and only flatpak apps) configuration in an archive. I was curious as to what was actually saved in the archive, and I opened it up to see what's inside: to my surprise, I also saw the extensions saved in there, even though I deliberately turned off the "Extensions" slider. Is that what it's supposed to be, or is that a bug?