Add sql config
Coq font-lock for '|-'
Coq snippets
Simplify orgmode todo colour customisation
Define command to remove paragraph line breaks
Fix elisp fontlocking for cl-defstruct
Tweak work agenda display for todos with deadlines