As the feature is in place, I am fine with closing this ticket as Duplicate or Invalid. Big thanks to anyone who worked on this feature.

That sounds great, and really feels to me like it should be on by default.

That's not directly obvious what code generates various parts of the view. Thanks for explanation, I will continue work on this in the local community.

OK, I have stumbled upon another reproduction eventually. Please observe this set of unrevised changes by an anonymous IPv6 user: https://pl.wikipedia.org/w/index.php?title=J%C4%99zyk_portugalski&oldid=69053199&diff=cur&diffmode=source

BTW where do I find this extension source code?

I cannot spot it either anymore. I am fine with closing the report as Invalid. I will keep an eye on this and file a new one / reopen (not sure what's the desired process here) once I observe repro.

@Aklapper, perhaps this is only reproducible with non reviewed delta. The link for reproduction, I have posted above, it originally lead to unaccepted changes. Meanwhile since the creation of the ticket they have gotten reviewed though and merged. I should have preserved the markup of the page.

I believe this bug has been fixed alongside T201820 on Opera side.

This bug has been identified as a regression on Opera Mini side. It shall be fixed now, so it shall be safe to close the ticket.

@Peter, yes

@Peter, the summer time is not representative period for trends on our side, but I don't see a sudden drop of page transcodes per second.

@Jdlrobson An average size of output page for Wikipedia actually dropped from ~112kb to ~105kb, so there is no penalty for our end users.

What Opera Mini version is installed on the test device? The two operation modes available on Android devices differ a lot when it comes to functionality and data usage. Can you say which mode is turned on?