pulumiverse time provider binary install instructions incorrect

[ringods]

Reported by @justinvp in https://github.com/pulumi/registry/issues/2439

---

For example: https://www.pulumi.com/registry/packages/time/installation-configuration/

Trying to run pulumi plugin install resource time v0.1.7 doesn't work for 2 reasons:

1. This plugin is hosted at a 3rd party URL, so it requires the --server flag:

   pulumi plugin install resource time v0.1.7 --server github://api.github.com/pulumiverse/pulumi-time

2. The above doesn't work, though, because there is no v0.1.7 version. (See https://github.com/pulumiverse/pulumi-time/releases). The latest release is v0.0.13.

Suggestions

• The --server flag is required for any schema that specifies a plugin download URL and this should be reflected in the registry docs.

• Either the latest version should be shown:

  pulumi plugin install resource time v0.0.13 --server github://api.github.com/pulumiverse/pulumi-time

  or, no version should be shown, in which case, if the URL is from GH, the CLI will determine and download the latest version:

  pulumi plugin install resource time --server github://api.github.com/pulumiverse/pulumi-time