text: We use Killing vectors all the time in general relativity, and it tickles me every time I teach a new student that yes, the vector field does kill certain derivatives, but that's not why it's called a Killing vector