Cosmetic changes to docs.; minor cosmetic change in `print_options`#2

Open

Mallku2 wants to merge 5 commits intocvc5:mainfrom

Commits on Oct 1, 2025

cosmetic changes to docs.; minor cosmetic change in isarare_config.print_options
Mallku2
committed

Commits on Oct 6, 2025

minor updates in ROOT
Mallku2
committed

Commits on Oct 7, 2025

Merge remote-tracking branch 'upstream'
Mallku2
committed

Commits on Oct 9, 2025

Merge remote-tracking branch 'upstream'
Mallku2
committed

Commits on Oct 14, 2025

Merge remote-tracking branch 'upstream'
Mallku2
committed