Check for option documentation in CI

[marcotc]

What does this PR do?

Motivation:

Change log entry

Additional Notes:

How to test the change?

[github-actions]

👋 Hey @marcotc, please fill "Change log entry" section in the pull request description.

If changes need to be present in CHANGELOG.md you can state it this way

**Change log entry**

Yes. A brief summary to be placed into the CHANGELOG.md

(possible answers Yes/Yep/Yeah)

Or you can opt out like that

**Change log entry**

None.

(possible answers No/Nope/None)

^{Visited at: 2025-06-06 23:36:36 UTC}

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 97.62%. Comparing base (2646e78) to head (5013c7c).

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #4719   +/-   ##
=======================================
  Coverage   97.62%   97.62%           
=======================================
  Files        1474     1474           
  Lines       88005    88005           
  Branches     4568     4568           
=======================================
+ Hits        85914    85918    +4     
+ Misses       2091     2087    -4     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[datadog-datadog-prod-us1]

Datadog Report

Branch report: check-docs
Commit report: 5013c7c
Test service: dd-trace-rb

✅ 0 Failed, 21712 Passed, 1299 Skipped, 4m 50.52s Total Time

[pr-commenter]

Benchmarks

Benchmark execution time: 2025-06-07 01:33:11

Comparing candidate commit 5013c7c in PR branch check-docs with baseline commit 2646e78 in branch master.

Found 0 performance improvements and 0 performance regressions! Performance is the same for 41 metrics, 6 unstable metrics.