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[bot]]

:wave: 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 :white_check_mark:

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     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

:rocket: New features to boost your workflow:

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

[datadog-datadog-prod-us1[bot]]

Datadog Report

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

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

[pr-commenter[bot]]

Benchmarks

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

Comparing candidate commit 5013c7c1b8fae2471ac3be7231bc918f8b6d3e83 in PR branch check-docs with baseline commit 2646e788c3406177a00db5f0c048952f53acdf22 in branch master.

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

[ivoanjo]

Hey, is this PR still relevant?