Probably not needed, see the pull request-level comment.