3 ms·Is it correct to call the debate around renaming this a Coq-fight?by kangnkodos 6y agoIs it correct to call the debate around renaming this a Coq-fight?