Good point.
Bkb0000 is correct. It’s a lot cheaper to replace a bent receiver extension than a cracked lower receiver.