Useful for getting a summary of users and their Duo connected Mobile Devices
Phones[].join(
', '
, [join(
:
, [
Name
, to_string(userStr)]), join(
:
, [
Platform
,to_string(platform), join(
:
, [
Model
,to_string(model)])])]) | sort(@)