I also just noticed that the ingredient list does not show how much onion, leek, and flower to use, even though these are all part of the beef mixture

Hope that the recipe author sees your note and replies.
Meanwhile, use a search engine and find another recipe for pastel de Choco - one that’s been made and liked.
There are many - from publications, tv food sites, bloggers.