It might be convenient to have more than one docset storage.

Another use case would be a global docset storage (e.g. in /usr/local/share), and then allow users to have their own storage as well (~/.local/share).

Some primitive conflict resolution should work fine.