[skocznymroczny]

well, it has Coq in the title

[resoluteteeth]

It would be a bit unfortunate if you had just exhausted political capital to convince your employer it was acceptable to use something called "Coq."