3 ms·Cocky? Might want to consider a rename before you run into the Coq situation.by barnaclejive 5y agoCocky? Might want to consider a rename before you run into the Coq situation.