Opera Mini still exists. I guess it's not very commonly used nowadays in terms of market share, but on the other hand, individual web pages are much heavier and

Opera Mini still exists. I guess it's not very commonly used nowadays in terms of market share, but on the other hand, individual web pages are much heavier and require more processing nowadays.