Move extra dev commits into main#218

PGijsbers merged 4 commits intomainopenml/server-api:mainfrom

dev-rebasedopenml/server-api:dev-rebasedCopy head branch name to clipboard