Manti with Yogurt Sauce

Name: Manti with Yogurt Sauce
Ingredients: 2 tablespoons olive oil; 1 large onion, finely chopped; 1 pound ground lean lamb; 1/2 cup chopped fresh flat-leaf parsley; Salt and pepper to taste; 2 cups all-purpose flour plus additional for rolling; 1 teaspoon salt; 1 large egg; 1/2 cup water plus a little more if necessary; 2 cups plain whole-milk yogurt (preferably made from sheep's milk); 4 garlic cloves, mashed to a paste with 1 teaspoon salt; 1/2 stick (1/4 cup) unsalted butter; 3/4 teaspoon fine quality sweet paprika; Coarse salt to taste; 4 dashes hot red pepper sauce, or more to taste; Shredded fresh mint leaves for garnish