ES-Alexander merged bluerobotics/cockpit#2723 · May 15, 2026 11:21 AGENTS.md: encourage shorter comments and less redundancy #2723 Had some issues recently with excessive commenting - trying to reduce that :-) +12 -8 4 comments