That quote was from the PR description.

So ... this is the correct version, right?