instructions for dist gen
- Time for a reminder to the whole list.
The instructions for subscribing and unsubscribing as well as the
'rules' for dist gen can be found here:
Also, you should have received a message when you subscribed (or were
switched to the new server) with the information.