We keep track of them via the `@deprecated` tag.