Yes, as a general PSA for the HN community, if you see a "was this page helpful?" widget on a developer doc, the team probably really does use that data in orde

Yes, as a general PSA for the HN community, if you see a "was this page helpful?" widget on a developer doc, the team probably really does use that data in order to triage what docs need updating. So if you don't usually interact with those widgets, you might consider trying it. In particularly, if you rate a doc as unhelpful, and they give you a chance to provide freeform feedback, that is usually the most helpful information. Otherwise we have to guess at why a doc is getting a bad rating.