Benjamin_Todd comments on EA Survey 2019 Series: How many people are there in the EA community?