document.write("« Security updates for Tuesday");document.write(" | ");document.write("Show HN: Termtosvg – Record terminal sessions as SVG animations »");