Commit 2026-01-07 21:30 50b9f506
View on Github →chore: rename the commandStart linter to whitespace (#33708)
The linter was always essentially checking all kinds of whitespace issues,
so the new name is equally descriptive already.
A future PR will extend the linter to all proof bodies; then this name would
have been actively misleading.