The Coq mailing list

[Jay Kruer <j AT dank.systems>]

I feel a bit guilty pointing this out about an otherwise nice suggestion, but 
"Gallus" sounds quite a bit like "phallus" which to me lands us right back 
where we started.

As a more meta point, I think the cuter we try to be with the name's 
semantics, the more likely we are to land on a word associated with penises 
by accident.

> On Apr 7, 2021, at 9:33 AM, Santiago Bautista 
> <santiago.bautista AT ens-rennes.fr> wrote:
> 
> That is a reason why the proposed alternative "Gallus" is very good : it 
> keeps the exact same symbol of french identity and national pride, while 
> solving the problem.
> 
> 
> On 4/7/21 3:42 PM, Tadeusz Litak wrote:
>> Anyway, the proposed list of "reasons to keep" does not include the most 
>> important one (apart from massive legacy, second to none in fact). One 
>> would need to reformulate point 2. It is not just about making sense in 
>> French. If it is correct that Coq's name appeals to French national pride 
>> and that it helps to get funding and institutional support in France, this 
>> is a huge issue.
>> 
>>