[web] kill https-deny-anonymous option (closes #5193687)
It doesn't make much sense to prevent people from using https.
# -*- coding: utf-8 -*-
# copyright %(year)s %(author)s, all rights reserved.
# contact %(author-web-site)s -- mailto:%(author-email)s
#
%(long-license)s
"""%(distname)s repository side views, usually for notification"""