Make sure that eldoc does its thing even when editing in snippets
Make sure that eldoc does its thing even when editing in snippets

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