document.write("«&nbsp;<a href='/news/view?id=118261'>Debian 9.5 &quot;released&quot;</a>");document.write(" | ");document.write("<a href='/news/view?id=118263'>Densely locally minimal groups. (arXiv:1807.05166v1 [math.GN])</a>&nbsp;»");