How to Make It
Place potatoes, garlic, and bay leaves in a large saucepan; add cold water to cover by 2 inches. Bring to a boil over high; reduce heat to medium-low, and simmer until potatoes are very tender, about 15 minutes. Drain; discard bay leaves. Return potatoes to pan; mash to desired consistency. Stir in 2 tablespoons butter, milk, and salt; transfer to a serving bowl.
Heat remaining 3 tablespoons butter, paprika, and crushed red pepper in a small skillet over medium until butter is melted and sizzling, about 2 minutes. Drizzle over potatoes; sprinkle with Aleppo pepper, if desired.