I went to download Dolphin Mini browser, but it keeps showing Dolphin non-mini. I can't find Dolphin Mini anywhere. What happened to it? (I do have a year-old or so version of Dolphin Mini as an .apk file but of course you like to get the most up-to-date version.)