I remember at the time thinking that there were a lot of coincidences. The press had already raised suspicions because Hart had changed his name from Hartpence for career reasons.
https://www.theatlantic.com/magazine/archive/2018/11/was-gary-hart-set-up/570802/
I couldn't stand the man.