Thanks for the info @RGJ!
The PR for removing the NULLS NOT DISTINCT OPTION is up:
NULLS NOT DISTINCT OPTION