The anatomy of an Android OS update, by HTC