RomanHauksson comments on How bad would human extinction be?