[docs] work-around a bug in Clarabel@0.11

[odow]

x-ref oxfordcontrol/Clarabel.jl#225

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.81%. Comparing base (0dc7382) to head (e51efb1).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #4114   +/-   ##
=======================================
  Coverage   99.81%   99.81%           
=======================================
  Files          43       43           
  Lines        5926     5927    +1     
=======================================
+ Hits         5915     5916    +1     
  Misses         11       11           

☔ 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.