More progress on improved Android extension API