A developer’s look at Opera Mini 5 beta | Hacker News Reader