Fix developer docs

@mhoeber This PR cherry-picks the doc fixes from the `ai-grading` branch.