In it, he shows an example of using all three ESP32 UARTs from an Arduino program. He calls the third port “secret” although ... so that UART 1 maps to unused pins, which makes everything ...

It's now Arduino IDE 2.2.0. The new features include Board and Port auto-selection improvements, performance improvements, a smaller download size, and a new CLI (command line interface) version.