After looking at the individual commits in the PR, I realized why these lines were added. See my last top-level comment on the PR.