Fix doc for coq, semantic-web, source-control, evil-commentary and spotify layer.
Also defined aliases for backward compatibility with `usedp` functions.
Minor configuration changes