The php docs are themselves a public GitHub repo, so it's a bit sad if insightful comments don't affect change in the docs