Manager now keeps a distributed catalog up-to-date without being all too chatty.

I don't think for a minute that it's watertight, but it will do for now.
Merge branch 'master' of https://github.com/karel1980/scratch2_comm