This should be a `//` comment. These sort of things are almost guaranteed to end up in the docs of the release.