Is it safe to update to iOS 7.1? I thought I saw a warning about this update possibly causing problems with Pleco on some devices, but I can't find that message now. Am I imagining things, or was there such a warning?