I agree in general but not sure in this particular case. The example includes a bunch of code that's explicitly copy-pasted from MDN, with minimal editing. It seemed simpler that way...