Merge remote-tracking branch 'origin/manuscript' into kvx-work

latest
Status Job ID Name Coverage
  Build
manual #232873
manual
build_aarch64
manual #232874
manual
build_arm
manual #232875
manual
build_armhf
manual #232872
manual
build_ia32
manual #232880
manual
build_kvx
manual #232876
manual
build_ppc
manual #232877
manual
build_ppc64
manual #232879
manual
build_rv32
manual #232878
manual
build_rv64
manual #232871
manual
build_x86_64
manual #232870
manual
check-admitted