Add the `@Deprecated` annotation too?