AI settings

Worth a quick pass before launch since it shapes every session going forward: whether sessions auto-generate quizzes and revision cards, whether session titles are auto-renamed from the AI summary, who can see AI summaries, and whether you want a custom prompt controlling how those summaries are written instead of the default style. Full detail is in 12.3.