Omit blank info elements in eshell prompt
Make cb-eshell:last-header buffer-local
Coq snippets
Tweak subject parsing for org mails
Add support for sending attachments with org mail
C-x m only shows mail picker in org-mode
M-RET inserts new Check expressions for Coq