[coq] remove redundant face customisation
[coq] disable electric terminator
[coq] tweak faces
[coq] snippets