I think it's instructive that s/coq/git/ , s/(fe)?male// and the situation feels similar to how I felt with git a decade ago.