The Arduino Uno text label for pin 7 has a '~', but it is not a PWM pin. The line at this moment is here: https://github.com/wokwi/wokwi-elements/blob/master/src/arduino-uno-element.ts#L243