People are free to use double quotes. The note you quoted is for an other example.
In my opinion, yes `console.log` should use double quotes. But single quotes are highly recommended. That's why they are used for those `console.log`.