Set id->misc->authenticated_user to the authenticated user, if any Rev: server/base_server/configuration.pike:1.413