The article is out of date since a 2020 volcanic eruption in the Philippines changed things. See eesmith's comment: https://news.ycombinator.com/item?id=355673

The article is out of date since a 2020 volcanic eruption in the Philippines changed things. See eesmith's comment: https://news.ycombinator.com/item?id=35567362 https://news.ycombinator.com/item?id=35567362