Thank goodness. It's been impossible to talk about Coq to people who don't already know what it is.