small adjustments for the default document style sheet
command to switch RPROMPT of
Deploy a custom global pre-commit hook for git to check mail address