* commit 'fa85a888a068da9bdd8dcc0d6ebcc675146c45cb': Enhance documentation of WebSettings.WebSettings method