Hi Michel Thanks for reaching out. The functionality to export API definitions is available in the new Azure API Management developer portal as well. Please refer the below screenshot when you select the type the file will be downloaded automatically.
Let me know if you have any further questions.
Please "Upvote and Accept" if the answer is helpful so that it can help others in the community.