User export: profile as json, export auth token logs (PR #10819)

Two more changes for the user archive export. Auth token logs contain sensitive PII such as IP address history and precise URL paths.

GitHub