Right on the spot, I've got to say that from the three major browsers I use - only Opera has such a full fledged and comprehensible feedback&discussion channel like these forums.
Well, Google Chrome has a built-in "report" feature, while Firefox doesn't, and trying to find such an online support/feedback service recently, I can't say I actually succeeded.
Sure, if, say, the Opera browser now has more functionality/compatibility problems than Firefox, we still have this - this is quite a unique service, check for yourself*:)*
A bug still remains on longish pages: Mini still tries to jump to anchor tags before fully loading the page (landing short of the tag) and sometimes renders the page before applying the style fully (leaving a mess of mismatched element sizes).
A followup for anyone who might have similar problems: On advice from my bug track report, I deleted and reinstalled Mini from my iphone. That seems to have cleared the problem. I did lose my speed dial shortcuts, but my other bookmarks remained.
For sure it's not a taboo and not a secret information, as everyone can just open Opera Mini and go to some site to check IP address. It is however bad idea to use this anywhere, as it may change in the future.