Fix doc for coq, semantic-web, source-control, evil-commentary and spotify layer.
Minor configuration changes