coqauvin is not an idiot

delete coq