I agree: it isn't used any more.