I don't remember hearing, but is the original mini going to be discontinued when the retina mini is released?