Russian Dressing

1 tablespoon finely chopped onion (or dried onion flakes)
1 cup purchased or homemade mayonnaise
¼ cup ketchup-style chili sauce or ketchup
4 teaspoons bottled (regular; not packed in beet juice) horseradish, or to taste
1 teaspoon hot sauce, preferably Frank’s Red Hot Sauce
1 teaspoon Worcestershire sauce
¼ teaspoon sweet paprika
Fine sea salt