Merge main into dev#1275

PGijsbers merged 3 commits intodevelopopenml/openml-python:developfrom

merge-main-into-devopenml/openml-python:merge-main-into-devCopy head branch name to clipboard