Publish documentation and updates and release notes (Puppet Platform 7.12.0)

(Initial planned release date: 2021-10-12)

Merge release notes and documentation updates as needed, build and publish the docs, and verify that the updated docs are live before the announcement goes out.