I understand and respect the renaming, Coq was a much cooler name though.