How can I change the default server from which zeal download docsets?

[ghost]

I installed zeal on Manjaro but had trouble downloading any docsets listed. After some investigation, I found that zeal was requesting tokyo.kapeli.com which is not accessible in my area.

I wonder whether there is a way that I can change the default download source, because I found that I had no problem connecting to singapore.kapeli.com.

Of course, I know I can always manually download the docsets directly from the server and extract them to correct directory. It's just that I have lots of docsets to download and I haven't figure out how to construct the urls of certain docsets.

Thanks for you guys to create this tool. It's awesome !!

[trollixx]

Our backend decides which mirror to pick based on assumed physical distance between two IPs. Far from perfect, but it has been working more or less fine. The scenario where one of the mirrors is inaccessible is not covered, unfortunately.

I believe someone posted a Python script that can download docsets and metadata independently from Zeal. Can't find it quickly...