REST API docs inconsistency: "About search" says 9 requests/min, "Search code" endpoint section says 10 requests/min — same page, contradictory values

REST API docs inconsistency: "About search" says 9 requests/min, "Search code" endpoint section says 10 requests/min — same page, contradictory values #39975