Just extracted my Opera Mini backup to find all pages in a neat mht.gzip form, making archiving them platform-agnostic a lot easier than the old .obml format (for which i used a rooted Android VM to inject those oout of backups from my non rooted phones)
Now it would be even greater to have them saved in the shared storage ;)