i just wanted to let you all know that i have established users@... and
devel@... as aliases for jedit-users@... and
jedit-devel@.... you should all now be able to use those
nice, shortened aliases the same as the old addresses.
note, the -admin, -owner, -request, etc. variations of the jedit-users and
jedit-devel addresses have not been aliased, so administrative requests will
continue to go to the same requests they always have.