You drop it. You're not the thread police.
Neither are you. Three people, LOL, including myself, were told to drop it. It's finished. There is no point in continuing to hurt people's feelings or make trouble. However, people keep getting in their digs after it's over.