[44net] [44-announce] mailman.ampr.org has a new host