My 2 cents: manual plugin install should be discouraged as much as possible for non developer users.
We want plugins to be submitted to the plugins repo, to make life easier to everyone.
If manual plugin install do not work, then (IMHO) people should figure out themselves as it will take ages to know what’s wrong without knowing which plugin it is…