Chris wrote:

====
My personal opinion is that we should move to a commercial service like
groups.io and set up some sort of donation site so we can keep it running.
====
I second the motion. Chris says groups.io would cost about $40/month. That's
$480/year. If just 48 of the 1100 subscribers would pony up $10/year, we've got
it covered. Kind of like the public radio/public TV model. Everybody doesn't
need to pay, but if enough people pay what they can, we're good. Count me in!
Chuck Taylornorth of Seattle USA