They really do no harm, and the PR is not really changing any code...