Finalize numeric header documentation

Workflow runs for Finalize numeric header documentation

• [run-doc-bootstrap-final2] Finalize numeric header documentation

  completed successfully:
  Finalize numeric header documentation#2:Commit7caff08pushedbyNikolayChirkov
  feature/segmented-number

  Aug 31, 20269s
  More actions for workflow run 2

• [run-doc-bootstrap-final] Finalize numeric header documentation

  failed:
  Finalize numeric header documentation#1:Commit15822cbpushedbyNikolayChirkov
  feature/segmented-number

  Aug 31, 202610s
  More actions for workflow run 1