Files
doomemacs/modules/lang/coq/config.el