https://api-editor.safeds.com/en/stable/ 2023-11-29 daily https://api-editor.safeds.com/en/stable/CHANGELOG/ 2023-11-29 daily https://api-editor.safeds.com/en/stable/gui/ 2023-11-29 daily