Avocado mixed with diced gherkins (US: dill pickles), walnuts, mayonnaise and paprika and placed back into the skin.
