ergh. If you want to do something like this please create a dedicated PR and do it everywhere instead of "hiding" it in other PRs
I'd agree with newlines but a second protected overdoes it IMO. Team-and-style-decision though