Hm, if these maintain the old indentation, I think they'll be under the dot points, i.e. with this indentation it's

```html
<ul>
    <li>Read lines from stdin</li>
</ul>
<pre>
let std = stdin();
...
</pre>
<ul><li>Read a complete...
```

but if they were 4 spaces in, it would be

```html
<ul>
    <li>Read lines from stdin
<pre>
let std = stdin();
...
</pre>
</li>
   <li>Read a complete...
   ...
</ul>
```