“We had already burned through four review bots before this one. Gneissport is the only one the team kept — it flags the two comments that actually matter on a diff, then stays completely out of the way.”