* commit '0a5459d780778a3e71ea8b2977de00debf598123': Doc change: Add Android 4.2 platform highlights.