My iPad mini 4 at times is sluggish with iOS 11. No issues with my iPhone 8. I sure hope iOS 12 speeds up older devices as I heave heard it will. Will it?