Commit 2026-01-16 17:58 6d65873e

fix(Tactic/Linter): support Verso docstrings in header style linter (#33914) This PR teaches the header style linter to also allow a Verso docstring for the first module docstring. On a file with the option doc.verso set to true (set this in the Lakefile), the header style linter previously thought there were no docstrings at all, and complained about a missing module docstring. Also fix a docstring that Verso failed to parse (a bit of text should have been code).