s3: Avoid leaking http_timestring in print_registry_key