document.write("«&nbsp;<a href='/news/view?id=61029'>A pile of stable kernel updates</a>");document.write(" | ");document.write("<a href='/news/view?id=61031'>A proposal to move Gnome to GitLab</a>&nbsp;»");