A non-trivial PR (+1641/-1125) written ~80% with AI agents