docs: function hashForRevision(revision) {
    const out = execSync(`git rev-parse "${revision}"`, { encoding: 'utf8' });
    const match = /[0-9a-f]{8,40}/.exec(out);
    if (!match) {
      throw new Error(`Bad results for revision ${revision}: ${out}`);
    }
    return match[0];
  }