Update docs with status quo

[ice1000]

Also leanprover/lean4@133e03c#diff-40c12e558dc7180c7d335a2076efe1fa08e1d9022b4985223ba914463b49032dL10-L18

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.23%. Comparing base (803e54c) to head (ede5621).
Report is 3 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #1214   +/-   ##
=========================================
  Coverage     82.23%   82.23%           
  Complexity     3720     3720           
=========================================
  Files           331      331           
  Lines         10994    10994           
  Branches       1284     1284           
=========================================
  Hits           9041     9041           
  Misses         1270     1270           
  Partials        683      683           

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