Merge branch 'marka-placeholder' into 'main'

placeholder for [GL #1955]

See merge request !3720
4 jobs for main in 3 minutes and 15 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Autoconf
passed autoreconf #964076
amd64 linux

00:00:29

 
  Build
passed abi-check #964077
amd64 linux

00:02:46

 
  Docs
passed docs #964078
amd64 linux

00:01:57

 
  Push
passed push:docs #964079
amd64 linux

00:00:19