I just had the exact same though while reading the page.
Makes me a firm believer companies should have their documentation on GitHub (or similar) so anyone can make a PR to tidy these things up.
I just had the exact same though while reading the page.