[web] kill https-deny-anonymous option (closes #5193687)
It doesn't make much sense to prevent people from using https.
..role:: raw-html(raw):format: htmlRSS driven----------RSS is a pretty useful technology that can be widely used on thissite. Any set of data can be presented as RSS. You can then plug inan RSS reader into that and follow the site activity. For example ::raw-html:`<p><a class="reference"href="../view?vid=rss&rql=Any+X%2CM+WHERE+X+modification_date+M+ORDERBY+M+DESC+LIMIT+30"><imgalt="rss" src="../data/rss.png"> latest changes</a></p>`