You are correct - the examples do not show valid IPv6 addresses. The examples are missing the extra colon to indicate the short (collapsed) form of the IPv6 address. In the collapsed form, consecutive zeroes are replaced with a double colon, but this example is missing the extra colon.
The first example should contain a double set of colons after the first zero-containing block, like this:
or like this (with the zero block omitted):
and the second example (HTTP) should be written like this to indicate that there are four blocks of zeros omitted:
Registration is open! SAS is returning to Vegas for an AI and analytics experience like no other! Whether you're an executive, manager, end user or SAS partner, SAS Innovate is designed for everyone on your team. Register for just $495 by 12/31/2023.
If you are interested in speaking, there is still time to submit a session idea. More details are posted on the website.