JWS šŸ”ø comments on How bad would human extinction be?