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