It's certainly not a critical usage at all. As long as it doesn't point to anything systemic (other than this being a huge PR), then you might as well leave it.