There are multiple <H1/> elements: the Sourcegraph logo in the navigation bar, and the page title, which produces a warning in ARC Toolkit in the following pages:
The page title should be an <H2/>, but retain the current style.
All other <H2/>s on the page should be downscaled to <H3/>, but retain their current styles.
No warnings are reported under ARC Toolkit's "Structure and Semantics" tests.
