The PR is still open and hasn't actually been merged yet. It'll be great when it is though.