I have not made this recipe, but from reading it, I think you're right on the money. Sounds very authentic from a Mexican perspective (which I have). If using pork meat, use the pork broth to flavor the dough. When cooking the pork meat, use garlic head, onion, peppercorn, etc. like any stock.
This recipe sounds delicious!