Update http_auth.tex