text: Apparently, the fact that DJT can't get over HRC is widely noted:
  
  https://www.washingtonpost.com/news/morning-mix/wp/2017/09/18/what-will-it-take-for-donald-trump-to-get-kicked-off-twitter/?hpid=hp_hp-morning-mix_mm-trumptwitter%3Ahomepage%2Fstory
  
  There is a video 1/2 down the page that has a nice summary of his obsession.