Readers,
For the benefit of novices, it seems that there is a digest-mode for this mailing list: users-digest@..., however, this is not stated clearly on the web page. Also the automatic subscription confirmation message states that submissions should be to 'users-digest@...' and not 'users@...': is this correct?
