Merge branch 'master' into 'languages'

# Conflicts:
#   .gitlab-ci.yml
7 jobs for languages in 2 minutes and 39 seconds (queued for 1 second)
Status Job ID Name Coverage
  Setup
passed #81397
setup

00:00:12

 
  Test
passed #81398
test

00:00:11

 
  Build
passed #81400
pages:branches

00:01:03

passed #81399
pdf

00:02:03

 
  Review
passed #81401
review:start

00:00:11

manual #81402
allowed to fail manual
review:stop
 
  Manual
manual #81403
allowed to fail manual
linkchecker