--- fixes: - The deployed-server get-occ-config.sh script now allows $SSH_OPTIONS to be overridden.