Acontece que o problema era o nosso analisador de trechos, que estava tentando ser muito esperto com \u003cdetails\u003e.
Decidi que não faz muito sentido ter esses trechos no resumo e, em vez disso, substituí todo o conteúdo do bloco \u003cdetails\u003e por “▶ summary” (“summary” sendo o que está escrito como resumo do bloco de detalhes), como eles aparecem no navegador por padrão.