Commit 2024-07-03 14:53 ce981a6a

chore: remove some whitespace and two other things (#14384) The fallout of an experiment (#14379) with linting whitespace. To keep the review interesting, I invite you to find the two changes that are not whitespace removal.