I learned in #1535 that mixing the salt into the tomato sauce is a far better approach. It spreads the saltiness evenly across the pie.