Think I’m going to take my old iPad Mini on an upcoming road trip instead of the iPad Pro, since I’ll need my MacBook anyway. But the Mini is unusable now with low disk space, presumably from bloated app sizes. Clearing it and starting over with the iOS 11 beta.