Don't remove global advice on 'tooltip-show-help when a buffer is closed
Don't remove global advice on 'tooltip-show-help when a buffer is closed

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el