3593: Add explanatory comment about Workbench's user cache.

Refs #3593.