According to his twitter account, he currently does not follow Hillary. I am unable to confirm whether he did before. According to the OP links, his friend count has not changed in the last month. This does not preclude that he removed HRC and added someone else. However, there is currently no real proof of this.
Don’t forget he has @Potus and @BarackObama
His @potus hasn’t changed so he likely was never following her on that one. The @BarackObama one has 600k+ that he’s following