document.write("«&nbsp;<a href='/news/view?id=116188'>Youtube-dl: Command-line program to download videos</a>");document.write(" | ");document.write("<a href='/news/view?id=116190'>[$] LWN.net Weekly Edition for July 5, 2018</a>&nbsp;»");