Merge branch 'develop' into feature/escobar-smoother

CMakeLists.txt

cmake/PugsDoc.cmake

doc/build-userdoc-pdf.sh.in

doc/lisp/build-doc-config.el

doc/lisp/share/ob-pugs-error.el

doc/lisp/share/ob-pugs.el

doc/userdoc.org

packages/HighFive/.clang-format

packages/HighFive/.git-blame-ignore-revs

packages/HighFive/.github/ISSUE_TEMPLATE/bug_report.md

packages/HighFive/.github/ISSUE_TEMPLATE/config.yml

packages/HighFive/.github/ISSUE_TEMPLATE/feature_request.md

packages/HighFive/.github/build.sh

packages/HighFive/.github/pull_request_template.md

packages/HighFive/.github/run_examples.sh

...hFive/.github/workflows/check_doxygen_awesome_version.yml

packages/HighFive/.github/workflows/ci.yml

packages/HighFive/.github/workflows/clang_format.yml

packages/HighFive/.github/workflows/coverage.yml

packages/HighFive/.github/workflows/gh-pages.yml