configure slime-nav, remove diff-hl advice