Just leave as `@since XXX` since it is impossible to predict which Jenkins release will get a PR; it is the responsibility of the merger to update this with the real number, and add a `changelog.html` entry.