The Coq mailing list

[Adam Chlipala <adamc AT csail.mit.edu>]

On 12/19/2013 04:29 AM, Pierre Boutillier wrote:
> Despite the fact that Bugzilla says :
> PRIVACY NOTICE: Bugzilla is an open bug tracking system. Activity on
> most bugs, including email addresses, will be visible to the public. We
> recommend using a secondary account or free web email service (such as
> Gmail, Yahoo, Hotmail, or similar) to avoid receiving spam at your
> primary email address.
>
> I would say that you have more exposed your email address to spam by
> writing on coq-club
>    

Maybe you could change that text?  The idea that e-mail addresses should 
be hidden or obfuscated to avoid spam is pretty 20th-century.  It makes 
life harder for everyone, when we have spam-filtering robots today 
(despite the fact that Gmail has a criminally bad one ;]).