* commit '4204ed96bfda8aff5e1246a10b825846ebfddad9': Enhance documentation of WebSettings.WebSettings method