I think that there might be a standard `@deprecated` decorator lying around that actually raises a warning.  A quick grep might be fruitful here.