80000_Hours comments on Is EA Growing? EA Growth Metrics for 2018