</head>
<body>
<div class='story-header'>
- <h1><a href='0000763789.html'>[$] LWN.net Weekly Edition for September 6, 2018</a></h1>
+ <h2><a href='0000763789.html'>[$] LWN.net Weekly Edition for September 6, 2018</a></h2>
<div class='details'></div>
<br/>
<div class='content' style='text-align: justify'>