Merge branch 'main' into 'main'

docs: remove duplicate heading

See merge request to-be-continuous/maven!126