The `pflag` PR has been merged.