The Arduino IDE version needs to be updated to v1.8.12 now. I was unable to create a pull request to do this.