I'm thinking to buy a first ten iPad mini to tide myself over until the next generation iPad air comes out. I know there was a lot of talk about it being underpowered. iOS 7 slowed down the iPad 3 and it stayed pretty bad until 7.1, now it's finally usable. My question is, did iOS 7 significantly slow down the 1st gen mini as well? And did 7.1 fix it?