I also tried this on an Ubuntu (23.04) machine running the latest Arduino IDE. I got essentially the same error.