comment out distel
smart-rep-nize highlight-symbol