Keyboard Serial Piezo page

In the learning section there's a tutorial named "Keyboard Serial" to play sounds via a piezo speaker. The explanation says that pin 9 is used because it can output PWM, but as far as I can tell the code does not use that capability at all, instead treating it like a regular digital pin. I did not want to change the page without feedback though- maybe somebody can confirm this.