Oh, phoo. It doesn't-- it's from other work and must have gotten swept up into a stage. Should I send another commit with it removed, since you're going to squash it anyway?