It should be possible to have local as well as http auth users. So this 
probably needs a separate setting, or http_auth is modified to yes, no, 
both (implying local auth and http auth).

But given other auth methods (openid, github)  could be supported,
I wonder if this should just be an edit if page.html and documented
in wiki/customizing.html.