Installed on MacBook Air, Sequoia 15.6, Arduino IDE 2.3.6, no problems.
Not sure if instructions 4 and 5 are mixed up. Seems you'd need to install b4 indexing? That's what I did. With the restart it doesn't matter anyway. Only looked at a T3.2 program, 48mhz, faster, i2c_t3, SPI...