analogWrite on GPIO32?

[anecdata]

analogWrite seems to have no effect on GPIO32 (suspect same is true on 33). I can successfully PWM on GPIO 0,1,2,4,12,13,15,16,17,19,21,22,25,26,27, but not GPIO32 - output stays low with no transitions. (GPIO 5,14,18,23, and 33 are being used for the NINA SPI and control)

GPIO32 will PWM using Arduino IDE.

I wonder if there's something in the math of how the timer number is calculated that goes too high when pin=32.