Merge remote-tracking branch 'upstream/master'

* upstream/master: (25 commits)
  Add magit-section to pinned packages
  Update installation.md
  Ignore eln-cache directory
  Minor typo fix
  [Docs] Mention flycheck-ocaml
  [Docs] Document the OCaml support
  Fix warning
  Add basic support for Literate Programming (bbatsov#1370)
  add last change to changelog
  Disable super-save on go-mode
  Document a workaround for fixing C-a in term-mode
  Bump the copyright years
  [bbatsov#1335] Workaround for which-key display bug (bbatsov#1349)
  Move go doc to new location (bbatsov#1366)
  GitHub actions CI (bbatsov#1362)
  Update of prelude-go to replace gocode backend with lsp-mode and gopls (bbatsov#1363)
  Fix contribute.md minor issues
  [DOCS] change pages to nav
  [DOCS] Add module for Rust language
  [DOCS] Add missing modules
  ...