Mention new latest semantics in the documentation