{{define "page-files"}}
<header class="filehead">
  <h1>Files</h1>
  <p class="meta">
    everything at change <code title="{{.ChangeID}}">{{short .ChangeID}}</code> ·
    <span class="trace-only">traced files carry a coverage bar{{if eq .Scope "change"}}, from reads at this change{{end}}</span>
    <span class="notes-only">◆ marks files with notes</span>
  </p>
</header>
<section class="filetree">
{{.Tree}}
</section>
{{end}}