Release notes for Agda version 2.6.3.1

• Added support for GHC 9.10.1.

• Fix #6714: backslash escaping for Emacs 29 (PR #6735)

• Fix #6750: use Set instead of HashSet for imported modules

• PR #6533: star-is-type compat for GHC backend

• Tested with GHCs 8.0.2, 8.2.2, 8.4.4, 8.6.5, 8.8.4, 8.10.7, 9.0.2, 9.2.8, 9.4.8, 9.6.6, 9.8.2, and 9.10.1.