Removed obsolete note.

Looks like @mikeal merged the PR and cut a release that included it about 8 months ago. Cheers!