Thinking I might eventually decide to update to iOS 17 Beta 3, I was browsing around the storage section and looking for things I could delete. I then decided to delete Alex, before which the available storage was shown as 5.7 something GB. After deleting Alex, though, the available storage was shown as 5.91 GB. Alex appeared to be taking up 843 MB but deleting it didn't free up that much space. This often happens when I delete other things.