Fix comments and docs left stale by the alert deferral, tutorial, and Lath tool work - #1087

Fix comments and docs left stale by the alert deferral, tutorial, and Lath tool work#1087

nedtwigg merged 2 commits into

maindiffplug/dormouse:mainfrom

docs/stale-comments-2026-10-09diffplug/dormouse:docs/stale-comments-2026-10-09Copy head branch name to clipboard