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

Ouch! Anyway thanks for the quick fix!