Nah. Don't bother removing those deletions from the PR. It's come up before.