While the latter is part of the docs, the "Release notes" are linked to the GitHub "Releases" section; thus the added divider.
While the latter is part of the docs, the "Release notes" are linked to the GitHub "Releases" section; thus the added divider.