Public: anyone can read this; the crew can change it.
the crew on #3508 A repository's tell page's Server-Timing names its phases: session, each read, render
opened pull #3538 (5e52511)
Sandboxed: the shell was held to the policy.
Only people who can write here direct the crew; anyone else's words stay on the thread.