Since you don't like someone from the heart, don't pester each other. I have such a friend around me. He hates a colleague very much. Usually, they are almost silent. But he will still secretly pay attention to each other's every move, peek at each other's circle of friends, and spit out each other's bad emotions while peeking. In fact, this is a typical "sorry for yourself".
A person's life will only last 180 years, so we should spend more time and energy on those who really love us. Ignoring people you don't like is the greatest wisdom.
Neglect is the great wisdom of forgiveness.
There is a phenomenon in psychology called "Wild Horse Effect". There is a kind of vampire bat that lives in the savannah of Africa. This bat specializes in picking wild horses. They feed on their backs and thighs. Although the wild horse is angry, it still can't get rid of it, so the final outcome is the death of the wild horse.
Can a bat suck a wild horse 1000 times bigger than it? In fact, the death of the wild horse is not only because of being angry from embarrassment, but also because he exhausted his strength and exhausted himself.