This is a valid point but ask whether Google couldn’t have had the same effect by telling everyone that page speed / bloat was a strong ranking factor. AMP forced a large amount of unreliable, slow JavaScript into the critical path so the benefits could have gone even further.