we've looked at the number of mailing lists we have and it's just too
many for the size of the community. over the next hour, we'll make the
opendatakit-implementers@googlegroups will merge into opendatakit@googlegroups
opendatakit-users@googlegroups will merge into opendatakit@googlegroups
opendatakit-developers will stay as is.
you don't have to do anything. everything will happen automatically,
but i just wanted to give everyone a heads up.