Increase the ResourceManager cache size to 10000

This way one can easily show more than 1000 results in one time.
Ideally, one should manage the cache better, but that will have to be
done in the next release.