This message was deleted.

Our version of that provider is at https://github.com/pulumi/pulumi-random if you want to open an issue there.

Duh, of course it is! Sorry about missing it.