That is used in a few places from grepping. I can change all of them with this PR if you prefer.