Merge branch 'master' into hints-name-order

... to fix conflict in NEWS.
5 jobs for hints-name-order in 1 minute and 4 seconds
Status Job ID Name Coverage
  Build
canceled #72946
amd64 linux docker
build:linux:amd64

passed #27173
docker linux amd64
build:linux:amd64

00:00:41

 
  Test
passed #27175
docker linux amd64
deckard:linux:amd64

00:00:41

canceled #27176
docker linux amd64 allowed to fail
respdiff:linux:amd64

00:01:04

passed #27174
docker linux amd64
test:linux:amd64

00:00:47