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.