This is great news! I didn't know concrete production was such a huge polluter either.
I did learn something new about concrete a while back that I didn't see mentioned in that article, which is that making good concrete requires huge amounts of specific types of sand, and we seem to be running out of it. And as usual, we're hurting the environment to get more of it. 😬