I was about to submit pull request but it looks like guthub is being blocked/hijacked from here. Sorry, I have no idea when/whether it will be fixed.