I don't understand the combination of mint jelly served with pork chops that's served at many restaurants. Does anyone eat this mint jello jelly? I don't even get how it's supposed to be eaten. Maybe someone who grew up fond of this can explain to me whether I'm supposed to dab the pork into the jelly or what? I've always thought this to be one of the strangest condiments.