That's a good idea. Would you mind filing an issue...
# general
m
That's a good idea. Would you mind filing an issue for that in https://github.com/pulumi/pulumi?