Update: YouTube-dl reinstantiated thanks to EFF (2020)