Google AMP is now coming to a Gmail inbox near you. Do we want it?