The o1 System Card Is Not About o1 — LessWrong