It is used in some dead code. I will eliminate it next week, as part of a separate commit.