Merge branch 'docs/v10.2' into rel-10.2 #619

Job	Run time
Build aarch64 (Cabal)	13s
Build Linux static (Nix)	2h 37m 55s
Build Linux (Cabal, GHC 8.10.7)	15m 40s
Build Linux (Stack)	14m 36s
Build Linux (Cabal, GHC 9.2.4)	14m 14s
Build MacOS (Stack)	20m 43s
Build Windows (Stack)	20m 3s
Get FreeBSD build from CirrusCI	3s
Lint & check code style	1m 12s
Test memory (Nix)	3m 26s
Test (Nix)	5m 3s
Test PG 9.6 (Nix)	4m 4s
Test PG 10 (Nix)	4m 6s
Test PG 11 (Nix)	4m 9s
Test PG 12 (Nix)	4m 7s
Test PG 13 (Nix)	4m 8s
Test PG 14 (Nix)	4m 26s
Test PG 15 (Nix)	4m 8s
Prepare release	0s
Release on Docker Hub	0s
Release on GitHub	0s
Remove copied files from server	5s
	4h 42m 21s

Provide feedback