Tbh, it seems like a local issue seeing as he is the only one who consistently has with this issue, so not much the devs can do about it. Most likely the issue is on his side, either because of a problem in his network (bad settings), his ISP doesn't provide a stable connection or because he uses a bad DNS.