Just ran into Victor: he says it's okay to remove it.  I would still `grep` to see if it's being used in the test suite; if so, we can discuss how to modify the test suite.