I don’t want to interfere in the current discussion on Github, but Joplin 1.0.187 certainly behaves different from the CommonMark Spec.
CommonMark:
Joplin 1.0.187:
(Surprising that the <pre> tag does comply, in contrast with other tags.)
BTW, the <details> construction also still works in CommonMark.