/** Where a comment on a diff line goes: the side, file and line number it names. Shared by the server page and the client diff. */
export const lineKey = (side: "new" | "old", path: string, line: number) => `${side}:${path}:${line}`;