[web] kill https-deny-anonymous option (closes #5193687) [applied]