Avoid some unneeded clones of snippet repositories.

When an upstream repository is changed, the snippets plugin makes a copy in the personal data dir. Unfortunately, changes are often detected without any real modification. Importantly, a "rename" is often triggered simply by clicking on a repository name.

This patch disregards such spurious "changes", and also clarifies the corresponding message a bit.