I just quit a job because of a gossipy vindictive HR Manager. Should I report it to someone?

They removed me from directly reporting to her and she would intentionally try to undermine my work. But before that when she thought I was her flunky she talked about people's ual preferences and talked about other people that had cosmetic enhancements. She bragged about looking so closely at cell phone bills that she discovered an affair between two employess and reported them to management. She was a nightmare. I don't want to file a law suit, but she was quite offensive, but I'm wondering if I should let my ex-boss who is also her boss that she walks around calling him Mr. No-. I left under the pretense that I found another position.