On Mon, 24 Mar 2014 07:09:51 GMT, Sönke Ludwig wrote:

Every now and then (I think this is the third time) the downloaded JSON from github contains some corrupted bytes (not sure where this is caused) and then gets cached with those corruptions, so the error stays even after triggering a manual update. I'll add some code to retry the download in case parsing the JSON fails so that it can fix itself automatically.

Implemented by e22bfdc.