document.write("«&nbsp;<a href='/news/view?id=115780'>Show HN: Termtosvg – Record terminal sessions as SVG animations</a>");document.write(" | ");document.write("<a href='/news/view?id=115782'>Synthetic Biology Behemoth Aims to Police Its Own Industry</a>&nbsp;»");