Ask the French about the sensitivities involved in 'bit'. Actually, they've already highlighted the issue, with typical maturity and sophistication: https://coq.inria.fr/ . (The name wasn't a coincidence, no.)