Hi, I'll take a look at that later, thanks. Sometimes the issue is as simple as the host I use (gitgud) being slow/unresponsive. I'll take a look sometime and see if there's any defective code on top of that.
