Resulta que el problema era nuestro analizador de extractos, que intentaba ser demasiado inteligente con <details>.
Decidí que no tiene mucho sentido tenerlos en el extracto y, en cambio, reemplacé todo el contenido del bloque <details> con “▶ summary” (“summary” siendo lo que está escrito como resumen del bloque de detalles), como aparecen por defecto en el navegador.