[Mailman-Users] Handy way to get a list of all "nomail"ed subscribers?

[Dan Mick]

Is there a handy script to search through the right data structures
and show me all the users who have the "nomail" option (or other
options" set?

I know I could hack one up, but I'm lazy and not quite Python-expert
enough yet (the "iterate across all elements of user_options" loop
is taking me some research).

I'd take an undebugged hack.