Notes are not always properly shown in the HTML

[yminsky]

Looking at this section:

https://dev.realworldocaml.org/concurrent-programming.html#tail-calls-and-chains-of-deferreds

it should be set off in a comment box, but isn't. Not sure why. The same thing shows up in other places too, e.g., the guided tour.

[avsm]

I swear these boxes just turn randomly turn on and off irrespective of the fixes I make...

[emillon]

The generated HTML is:

<section data-type="note">
  <h5>...</h5>
  ...
</section>

While the CSS rules look like section div[data-type=note]. So there's probably something that changed in the structure of the HTML output. (switching to section[data-type=note] should work)