Remove from heat and, using potato masher, mash potatoes until smooth and no lumps remain. Stir in half-and-half mixture, 3/4 teaspoon salt, and 1/2 teaspoon ...