> Some professionally oppressed people contact a project, provide mostly secret evidence to members of the project's progressive faction. > After the re-naming

> Some professionally oppressed people contact a project, provide mostly secret evidence to members of the project's progressive faction. > After the re-naming they are never heard of again. Beyond all other corrections, the people complaining here are professional Coq users of both genders.