> I had tested it out before, and the `-k b' seemed to take effect even if the > file had already been checked in (because the replacement of the strings > happens at check-out time). Where is the mangling in ml.lex? The $Log > line in the AT&T copyright? Yes.