docs: write PR descriptions for the reviewer, not the record (#387)