Re: Mailman or Hyperkitty bug ?