@gruber The 5% of Android users who will actually be able to upgrade their phones to 4.1 within the next 6 months might.