download from github instead of etherpad.org because the latter stalls