David,
the missing settings is mapped to:

WebShield.ini

[WebScanner]
HttpsScanning=0

(Web shield restart will be required after changing the WebShield.ini file)