We had been repeating this command definition in the preamble of all
our LaTeX documents; now we don't have to do that anymore.