re: #626 Gus 802

I guess someone didn’t like that.

Same with mine. And I thought it was such a small uncontentious point…
:(