I guess you can add here the comment from the PR, for future reference.