Release 10.2.0.0

[smelc]

Changelog

- description: |
    Release 10.2.0.0 
# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - refactoring    # QoL changes
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

As discussed during the team meeting, we would like to release the binaries on GitHub only (as opposed to both GitHub and CHaP usually), because CHaP is broken right now.

Once this PR is merged, I will tag its only commit and trigger the release pipeline to create the release.

How to trust this PR

Changelog was generated in the usual manner.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• Self-reviewed the diff