Experiment: page title at top header

binkley committed Aug 14, 2024

For #464. More constant section start

binkley committed Jun 19, 2024

For #517. Remove redundant titles

jwlibby committed Jun 4, 2024

First example about cycle time Highlight that performance/other problems might should be a single page.

binkley committed Apr 20, 2024