I agree, GG. It's so easy to make your own and I do them the same way as in the link you posted.
If I'm making guacamole and pico de gallo from fresh ingredients, I don't want to use store bought chips. They're usually kind of flimsy, and since I'm cooking for one I can't go through a whole bag of grocery store chips anyway, before they go stale. Homemade tortilla chips make a world of difference as far as flavor and are sturdy enough to stand up to guac and salsa without breaking.
DavidO, as you can see mine here are salted, but as GG mentioned you can use a salt free taco seasoning instead of kosher salt, if you're watching your sodium intake.