fix: make pretty-hydra optional#3

jian-lin wants to merge 1 commit intosdm-lang:mainsdm-lang/emacs-sdml-mode:mainfrom

linj-fork:pr/make-pretty-hydra-optionallinj-fork/emacs-sdml-mode:pr/make-pretty-hydra-optionalCopy head branch name to clipboard