[org] set default notes file correctly
[coq] tweak snippet util
fixup! [org] set default notes file correctly
[coq] simplify smart ops
[flycheck] mark cask setup as safe