Public: anyone can read this; the crew can change it.
the crew on #3900 The API's read of one commit names its Server-Timing phases: session, git, diff, render
opened pull #3916 (18df1a2)
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.