Ubuntu Kinetic release not found

After following the instructions on the linux download page Haxe - The Cross-platform Toolkit I get the following error:

$ sudo add-apt-repository ppa:haxe/releases -y
Repository: 'deb https://ppa.launchpadcontent.net/haxe/releases/ubuntu/ kinetic main'
Description:
Stable releases of Haxe and Neko.
Packages are manually uploaded.
More info: https://launchpad.net/~haxe/+archive/ubuntu/releases
Adding repository.
Adding deb entry to /etc/apt/sources.list.d/haxe-ubuntu-releases-kinetic.list
Adding disabled deb-src entry to /etc/apt/sources.list.d/haxe-ubuntu-releases-kinetic.list
Adding key to /etc/apt/trusted.gpg.d/haxe-ubuntu-releases.gpg with fingerprint 3CA84E76221546737CA06BB95B4869E6A9AACE33
Hit:1 http://nl.archive.ubuntu.com/ubuntu kinetic InRelease
Hit:2 http://security.ubuntu.com/ubuntu kinetic-security InRelease                                                                 
Hit:3 http://packages.microsoft.com/repos/code stable InRelease                                                                    
Hit:4 http://nl.archive.ubuntu.com/ubuntu kinetic-updates InRelease                                                                
Hit:5 https://dl.google.com/linux/chrome/deb stable InRelease                                                                      
Hit:6 https://download.docker.com/linux/ubuntu jammy InRelease                                                                     
Hit:7 http://nl.archive.ubuntu.com/ubuntu kinetic-backports InRelease                                                              
Ign:8 https://ppa.launchpadcontent.net/haxe/releases/ubuntu kinetic InRelease        
Err:9 https://ppa.launchpadcontent.net/haxe/releases/ubuntu kinetic Release
  404  Not Found [IP: 2620:2d:4000:1::3e 443]
Hit:10 https://ftp.postgresql.org/pub/pgadmin/pgadmin4/apt/jammy pgadmin4 InRelease
Reading package lists... Done
E: The repository 'https://ppa.launchpadcontent.net/haxe/releases/ubuntu kinetic Release' does not have a Release file.
N: Updating from such a repository can't be done securely, and is therefore disabled by default.
N: See apt-secure(8) manpage for repository creation and user configuration details.

It appears that there is still no release available yet for for Ubuntu 22.10.