If you’re doing this often then you could install the Data Explorer plugin and use query:
SELECT u.ID "User ID"
,u.USERNAME "Username"
,u.NAME "Name"
,CASE uo.EXTERNAL_LINKS_IN_NEW_TAB
WHEN 't' THEN 'True'
WHEN 'f' THEN 'False'
ELSE 'Not set'
END "External links?"
,CASE uo.mailing_list_mode
WHEN 't' THEN 'True'
WHEN 'f' THEN 'False'
ELSE 'Not set'
END "Mailing List Mode?"
,CASE uo.email_digests
WHEN 't' THEN 'True'
WHEN 'f' THEN 'False'
ELSE 'Not set'
END "Email Digests?"
,digest_after_minutes/60 || ' Hours' "Digest Every"
FROM USERS u
LEFT OUTER JOIN USER_OPTIONS uo
ON u.ID = uo.USER_ID
WHERE uo.email_digests = 'f'
AND u.ID <> -1