Bug: HTML Entities in Plain Code Block HTML Markup

[Taufik Nurrohman]

HTML entities in plain code block HTML markup shouldn’t be converted into their original character(s).

Input

``` html
[[asdf]]
```

<pre><code class="language-html">&#x5B;&#x5B;asdf&#x5D;&#x5D;</code></pre>

Output

Expected

Output from the Markdown Extra.