I mean, I've got my feelings about formal methods, so the implications about people going to technical conferences to talk about Coq are spot on.

As a relatively unenlighted person on the topic of nasty slurs, I apprechiate the tipoff that using the name of a cultured milk drink sounds uncultured. Although, I tend to name things with overworked puns, so there's that.