Automatic study feedback as hover annotations: reasoning, useful questions, and possible factual gaps, using your local Codex sign-in.