sync develop branch after release 5.3.1#5783

hmottestad merged 4 commits intodevelopeclipse-rdf4j/rdf4j:developfrom

merge_main_into_develop_after_release_5.3.1eclipse-rdf4j/rdf4j:merge_main_into_develop_after_release_5.3.1Copy head branch name to clipboard