David, the missing settings is mapped to:
WebShield.ini
[WebScanner] HttpsScanning=0
(Web shield restart will be required after changing the WebShield.ini file)