Is there documentation anywhere on what exactly counts as a "download" in the Plugin Directory? My main question is, does a user who previously installed the plugin and then upgrades to a new version of the same plugin get counted twice or does the system take previous downloads from the same site into account?