No, the `@deprecate` macro automatically exports it for you (there's no point in having a private deprecation, after all).