Once the onions have softened, turn the heat to low. Add in the ketchup, all but a tiny pinch of the paprika, 5 tbsp water, the mushrooms, ½ tsp of lemon juice and a few grates of zest. Add the Worcestershire sauce and cook for a few mins to thicken up.