[ledger] clean up faces
[ledger] highlight dates in reports
[rust] add flycheck-rust
[coq] add spaces after commas
[coq] M-RET handles "." terminators correctly
[coq] use only external padding for { }
[coq] remove @ from smart ops list
[coq] fix error in advice
[coq] use only external padding for [] pairs
[sp] rename function
[coq] rearrange forms
[coq] improve intros function for snippets
[coq] snippets
Fix bug in appt message advice
Load EMR from Projects if available