@pikesley Ugh, filed a bug report. Good catch.
I knew some of the folks responsible for documentation at Google. Good folks, but they were given an absolutely Sisyphean task; teams were not obligated to gate on the docs being correct, so they often had to do social teeth-pulling to accomplish their jobs.
(... and that's just the teams that had dedicated docs members. Several teams were tasked with that internally---Google was great about assuming that software engineers are good at everything---and would make it up as they went along, with predictable results).