Vellamo: The first mobile browser performance benchmark for Androidmarket.android.com1 pointfredliu15 years ago