tools.deprecation: make deprecation warnings not fatal (so they don't clutter the UI forever).